Support for cons types could be better
Currently cons types are only fully supported for (cons t)
and (cons nil)
. Things such as
(subtypep '(cons base-char real) 'cons)
or
(subtypep '(cons base-char real) '(cons character number))
return NIL, NIL
which is fine by the ANSI standard, but we could still do better like sbcl which returns T, T
for both of the above cases.