Кстати, есть и другой способ пожатия этих табличек - глобальная раскраска сигнатур так, чтобы в каждой табличке все цвета были уникальны. Если бы типовой анализ не гарантировал корректности, то для всех неправильных, но возможных в данном месте типов (есть на то DFA) входы в табличке забиваются одной и той же функцией выдачи ошибки динамики типов. Но это все, конечно, не для инкрементного программирования.