Лисп и язык моделей

Сами функции и процедуры тоже должны быть типами, но они должны выражаться в моделях, любые типы это только модели специального вида

Естественно, что должны быть переменные, процедуры, функции, любые программы, любой код могут храниться в переменных, могут передаваться в качестве параметров, могут изменяться, сами переменные это область памяти,
имя переменной это указатель на область памяти …

https://deep-econom.livejournal.com/517661.html