Я боюсь, это гораздо больше зависит от квалификации типировщика, чем от энергоизбыточности....
Не знаю, мне еще ни разу "энергоизбыточные" люди не попадались. Да, были такие, которых протипировать было сложнее, чем других, но это было только из-за недостатка моей собственной квалификации - просто какого-то ТИМа в моей "галлерее" было меньше.
Я бы Вам опять-таки советовала уточнить квалификацию типировщиков, а то я тоже что только в свой адрес не слышала, даже "Есенин" или "Дост".
Ладно там еще Гамлет, Драйзер, Дон - куда ни шло....
Вопрос - ОТ КОГО?
Понимаете, ответ на вопрос о "сходимости" и "трудности типирования" заключен не в том, что кто-то якобы более энергообеспечен, а в том, что каждый "социЕник" под аспектами, функциями, и более того - ТИМами, Гамлетами, Драйзерами и т.д. понимает что-то свое.
То есть, типировщики зачастую не пытаются понять, ЧТО хотел вложить в понятия автор, что такое аспекты, функции и т.п., им гораздо интереснее уже быстрее начать применять. А когда они видят, что их "понимание" и "применение" имеет мало общего с реальностью, они начинают придумывать всякие "плавающие ТИМы" и прочее.
Просто если Вы поймете суть, что такое инфообмен, что такое аспекты, функции и так далее, и что такое ТИМ в конечном итоге - вопрос о "плавающих ТИМах" отпадет сам собой.
Аспекты не могут быть "плавающими". И функции не могут быть плавающими - инфообмен происходит либо по такой схеме, либо по другой.
Да, были такие, которых протипировать было сложнее, чем других, но это было только из-за недостатка моей собственной квалификации - просто какого-то ТИМа в моей "галлерее" было меньше. 
