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