- TESTS
- Improve unparsing of arrays, reals
- All the miscellaneous types (streams and stuff)
- deftype mimic?
- deftype-macro is broken in several areas
- macroexpand-hook?
- array upgrading
- figure out what to do about implementation dependent things
- double check the math on existing "logical" subtypep
- many negative relations (e.g. no cons type is a subtype of an array type)
pie in sky
- power operators
- compiler integration
- quantification