Может точнее будет АвтоПриведениеТипов.
Потом можно вспомнить про ссылочные типы (PControl, PBitmap, PStream и иже с ними)
Для них, видимо, вспомнить нашу технологию Guid-ов.
А если вспомнить про необходмость определения наследования одного Guid-а другим, то и усложнить нашу технологию.
Естественно, все это в рассчете на исполнение в Design-Time


Ну если по большому счету, тогда действительно - ага.
Но ведь это вопрос быстродействия, и, в принципе, технологии могут испытываться на "медленном" варианте.
Т.е., не кажется мне, что одно противоречит другому.

А что байт-код... Ну сэкономит работу lexer-а, конечно же.
Но быстрые компиляторы делаются вроде нерекурсивными, скажем LR-восходящими...
Содержательная часть: есть стек для токенов, и конечный автомат... Таблица переходов которого это просто константный массив.
Да пусть даже и большой - зато шустро....