Теперь можно писать сам TypeChecker

Теперь все компилируется.