TYPE
Returns a symbol which is the name of the type (or class) of its of argument.
(type <
expression
>)