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

Это ты воспроизводишь стандартное рассуждение про метамоделирование aka стек (мета)моделей. Не имеет отношения к указываемой мной проблеме различий в типе одной из моделей в стеке. Компиляция-на-лету, а также инкрементальная компиляция тоже давно известны, и они понятно как обходятся с точками суперпозднего связывания (а именно -- их не трогают ;) Суперкомпиляция выгодна тогда, когда на вход подается вся программа (ибо как раз основные оптимизации в суперкомпиляции происходят не с участками программы "от вызова до вызова", а именно в изменении всей структуры). Так что твое замешивание всего стека метамоделей непонятно какое отношение имеет к обсуждаемой проблеме.