The parser should generate the types for the AST