разговор как буд-то идет о ядре HiAsm, как о виртуальной машине, которая генерит для разных кодогенераторов, которые генерят для разных компиляторов языков.

Определение типов должно работать и в FTCG и RTCG и прочих, значит нужен первичный слой абстракций, а уже потом кодогенератор(ы).