AbstractType:
    | GrammarAST.InferredType
    | GrammarAST.Interface
    | GrammarAST.ParserRule
    | GrammarAST.Type