Частично реализован TypeChecker