TypeChecker - большинство ошибок выводит, осталась пара мелких видов.