nesco, ну не сможет среда узнать обо всех типах для всех языков, если её этому не научить. А как? Доделывать среду под каждый новый конечный язык? Про объектные модули не понял - имеешь в виду их как звено, предшествующее процессу кодогенерации? У меня сложилось впечатление, что ты мыслишь о среде, сделанной под один конечный язык/компилятор.

В FTCG ощутил то ли проблему, то ли неудобство в задании типов с помощью чисел: получил данные с точки, определил их тип (число), а как в конечном коде объявить переменную для хранения данных этого типа? Приходится делать сопоставление типа и его названия в конечном языке с помощью монструозных if() и switch()