Я тот парень.:)
Fexprs, как и в языке Kernel, значительно упрощают язык - Kernel имеет только три встроенных: $ define!(для добавления новой привязки в среду), $ if (обычное) и $ vau (аналогично лямбде, но не оценивает его аргументы).
Кроме того, могут использоваться макросы (fexprs)так как функции могут - в отличие от текущих Лиспов, где макросы работают отдельно от времени выполнения.Это делает язык более общим.
Тем не менее, еще нет реальных приложений, написанных на Kernel или другом новом Лиспе с fexprs.Это область активной работы горстки людей.