TypeChecker начало.