Без заголовка
Да понимаю я все про абстрактный синтаксис. Я ровно об этом и пишу: если в основу положить расширяемый язык, то на нем (в том числе, используя его расширения) легко выражать различные абстрактные синтаксисы.
Смоллток вполне нормальный выбор для такого языка. Если бы разработчики FONC были чуть более продвинуты в своих заботах, я бы выбрал их. Вот уж где можно было бы развернуться! Ибо "и смоллток тоже там".