Как определить тип данных переменной

На этот вопрос легко ответить (я думаю), но я некоторое время искал, но ничего не нашел, поэтому я направлю свой вопрос вам.

Существует typepдля определения того, относится ли данная переменная к определенному типу данных, например. целое число, хеш-таблица и т. д., но есть ли функция, которая возвращает тип данных?

напр.

(defvar *x* 1)
*x*

(typep *x* 'integer)
T

(the-type-function *x*)
INTEGER