named-type
member-type
array-type
+ character-set-type
built-in-classoid
cons-type)
(values (%typep obj type) t))
:specialized-element-type etype)))
(cons
(make-cons-type *universal-type* *universal-type*))
+ (character
+ (specifier-type 'character))
(t
(classoid-of x))))