Подскажите необразованному, а зачем современным Лиспам до сих пор использовать тот же конкретный синтаксис на S выражениях?
В свое время это было нужно, чтобы парсить легко, там компьютеры были большие, а память маленькая, а прогали на недоассемблерах или дай Бог Фортране.
Для метапрограммирования имеет значение только AST, отображение в конкретный синтаксис (и из него) определяйте как хотите.
Ну Бог с ними со скобочками, это все легко и удобно воспринимается, ну почему бы хотя бы инфиксные выражения не определить, чтобы формулы читались полегче.