Причем макросы Lisp-а, ко всему прочему, еще и ограничены в своих возможностях, так как не позволяют при своей работе использовать информацию о типах и иным образом взаимодействовать с компилятором.

Это из статьи. Немного не понятен основной тезис. В чем смысл? Генерировать разные функции или код в зависимоти от аргумента макроса? Так это есть и давно. Желательно пример с пояснением.