Код на LISP одновременно являеться и данными. Это явление называеться - гомоиконичностью. Гомоиконичность дает возможность писать макросы, работающие с исходным кодом как со списком. Гомоиконичность - свойство некоторых языков, в которых текст может расматриваться как и структура данных этого же языка.
Обьект первого рода - сущосность в языке, которая расматривается как данные. Это значит, что ее можна записывать в переменую, передавать в функции и возвращать из функции. В lisp функции - это обьекты первого рода.