Абстрактный синтаксис высшего порядка?
Т.е. ты хочешь сделать диалкект над си?
абстрактный синтаксис высшего порядка это скорее про тайп сейф представление аст в языке, причем штука в том что мы используем вывод типов языка на котором пишем чтобы реализовать вывод типов транслируемого языка