This library provides a complete implementation of the Common Lisp type system, including the standard functions typep and subtypep.
Ordinary type specifiers are converted into instances of standard classes and then canonicalized.
This library uses instances of standard classes to represent types, so CLOS is required.
Currently maintained by Alex Wood.