12:31:34beachAppendix II of Baker's paper on SUBTYPEP must represent some of the most screwed-up Common Lisp code I have ever seen. He must have had a good laugh coming up with it.
12:36:03jackdanielbeach: it is quite likely you are already aware of this, but ECL type system implements the Baker's proposal
12:36:42beachOh, nice! Not with his implementation, I hope. :)
12:44:58beachFor SICL, things are going to be simpler, since many built-in types are represented the same way that standard classes are, so the same technique can be used for those built-in types as for types that are also standard classes.
12:45:41jackdanielfrom my work with the code I can tell, that the most complicacy comes from compount types