Generates cross-type comparison methods for
type against the types on
which the macro has previously been invoked. This macro is intended to be
invoked at the top level of a source file. You should make sure that calls
to this macro are always compiled in the same order; if you don't, you could
possibly get a master type ordering out of sync error, at which point you
should delete all your fasls, restart your Lisp session, and recompile.
However, the implementation tries very hard to prevent this.