Добавлена наведенная ошибка для ошибок в TypeChecker.