DATA Expr
  | Alt
      tp : {Identifier}