just started typechecking the AST