7 типов не кажется достаточным, чтобы описать ньюансы языка …
Проблемы с согласованием, проблемы с управлением, семантическая ошибка …
Вот уже и почти половина всех типов, а ведь в языке есть много разных не сразу заметных ньюансов корректность работы с которыми хотелось бы проверять.