n. to fully expand a type specifier, removing any references to
derived types. (Common Lisp provides no program interface to cause
this to occur, but the semantics of Common Lisp are such that every
implementation must be able to do this internally, and some
situations involving type specifiers are most easily described
in terms of a fully expanded type specifier.)
type specifier: n.
an expression that denotes a type.
The symbol random-state, the list (integer 3 5),
the list (and list (not null)), and the class named
standard-class are type specifiers.