Что вижу: везде вариантные типы, отсутствие контейнеризации (имею ввиду интеллектуальную, конечно), супер-инлайн.
Про WEB не скажу - может там это все и пучком

Но в общем-то случае (произвольный язык): явно нужен какой-то предварительный проход для сбора статистики на все классы - чтобы принимать решения inline/function, выкидывать ненужные поля из классов (коль скоро будет принято решение function), распространение констант...
Должны же мы этот Memory в константу соптимизировать
Add(Memory,7804626,301,161)
{
Default=Integer(197)
}
Add(Memo,7953861,259,147)
{
Left=270
Top=115
Point(Handle)
}
Add(SendMessage,7469257,280,210)
{
WParam=-1
Point(Message)
link(Handle,7953861:Handle,[])
link(Message,7804626:Value,[])
}
Что-то похожее на предварительный проход семантического анализа (те же кольцевания там все и выявиться должны)