This library provides a complete implementation of the Common Lisp type system, including the standard functions typep and subtypep. It works by canonicalizing type specifiers and representing them as instances of standard classes.
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.
A test suite.