anchor.diff:  
       rule goal:
           ( single_declaration
  -        | TOKPACKAGE VAR SEMICOLON ( single_declaration )* TOKENDPACKAGE [ COLON  VAR]
  +        | TOKPACKAGE TYPEVAR SEMICOLON ( single_declaration )* TOKENDPACKAGE [ COLON  VAR]
           )* ENDTOKEN {{ return globalvars }}
   
   %%
  
positive.code:                 RBRACE {{return Union(None, elts)}}
  
      rule single_type_definition:
          (   Type_list [ type_decl | TOKENABLE ]
          |   ( enum_declaration {{t=enum_declaration}}
              | struct_declaration {{t=struct_declaration}}
              | union_declaration {{t=union_declaration}}
  
negative.code:         TYPEVAR {{typevar_param_list=[]}} [ typevar_param_list ] {{ return Type(TYPEVAR, typevar_param_list) }}
  
      rule Type_list:
          ( type_decl {{return type_decl}}
          | LPAREN type_decl (COMMA type_decl)* RPAREN
          )
  
  