Без заголовка

Я как раз говорю об одном уровне: есть программа на языке X, и ее нужно выполнить на языке Y. Это ты начал вдруг разговаривать о стеке метамоделей (программа -- это модель объекта, интерпретатор -- это часть модели объекта и т.д.). Тут нужно добавить обязательно, что программа в объектном коде [pun intended] -- это тоже модель объекта, но не модель исходной программы, а результат ее трансформации (в случае компиляции). Или модель исходной программы, если речь идет о суперкомпиляции. Так что ты просто про другие проблемы пишешь.