I'm not sure if there really needs to a new type specifier (TYPE-SPECIFIER), to go along with this. The Common Lisp type system should be used for the discrimination of Lisp objects, whereas type specifiers are a kind of ``application'' of Lisp objects for a special purpose (the representation of types). TYPE-SPECIFIER doesn't have the same kind of intrinsic quality that STRING or VECTOR does.