The type type-error represents a situation in which an object is not
of the expected type.  The "offending datum" and "expected type" are initialized 
by the initialization arguments named :datum and :expected-type to make-condition,
and are accessed by the functions 
type-error-datum and type-error-expected-type.
type-error-datum; type-error-expected-type , type-error-expected-type