Please add ctype #2094
Description
ctype is an independent (i.e. non-metacircular) implementation of the CL type system. It lives at https://github.com/s-expressionists/ctype. It has additional capabilities not in the standard such as manipulating types directly (rather than designators) and performing set arithmetic on them. Could you please add it to Quicklisp?
It has implementation-specific code in order to deal with implementation-defined aspects of types, e.g. what float types are available, what a base char is, that kind of thing. This unfortunately sometimes entails using unstable interfaces like "sb-int". Currently, the following implementations are supported: CCL, Clasp, CMUCL, ECL, SBCL, SICL.