Started type checking AST