ну это не стандартизированный термин, но это чисто теоретически это должны быть полиморфные термы, которые использующие какое-то универсальное представление, которые должны быть эквивалентны выражениям на вложенном языке
не значит ли это что у тебя фактически получаться должен дсл абстрактный и интерпретатор для него? Или это не обязательно? Когда анкодинг финальный?