TypeChecker 60% готов.