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.