Упрощает ли добавление f-выражений реализацию макросов из фундаментальных выражений в LISP?

Этот парень считает, что добавление fexprs в LISP значительно упрощает реализацию языка в схеме.

Здесь мы видим , как макросы будут реализованы с использованием LISP Маккарти.

У меня вопрос - упрощает ли добавление f-выражений реализацию макросов в LISP?