anchor.diff:      :   'if'
       ;
   
  +IMPORT
  +    :   'import'
  +    ;
  +
  +IN_OP
  +    :   'in'
  +    ;
  +
  +INTERFACE_DEFINITION
  +    :   'interface'
  +    ;
  +
  +IS_OP
  +    :   'is'
  +    ;
  +
  +LET
  +    :   'let'
  +    ;
  +
  +MODULE
  +    :   'module'
  +    ;
  +
  +NEW
  +    :   'new'
  +    ;
  +
  +NONEMPTY
  +    :   'nonempty'
  +    ;
  +
  +OBJECT_DEFINITION
  +    :   'object'
  +    ;
  +
  +CASE_TYPES
  +    :   'of'
  +    ;
  +
  +OUT
  +    :   'out'
  +    ;
  +
  +OUTER
  +    :   'outer'
  +    ;
  +
  +PACKAGE
  +    :   'package'
  +    ;
  +
  +RETURN
  +    :   'return'
  +    ;
  +
   SATISFIES
       :   'satisfies'
  -    ;
  -
  -IMPORT
  -    :   'import'
  -    ;
  -
  -INTERFACE_DEFINITION
  -    :   'interface'
  -    ;
  -
  -VALUE_MODIFIER
  -    :   'value'
  -    ;
  -
  -FUNCTION_MODIFIER
  -    :   'function'
  -    ;
  -
  -LET
  -    :   'let'
  -    ;
  -
  -MODULE
  -    :   'module'
  -    ;
  -
  -NEW
  -    :   'new'
  -    ;
  -
  -PACKAGE
  -    :   'package'
  -    ;
  -
  -NONEMPTY
  -    :   'nonempty'
  -    ;
  -
  -RETURN
  -    :   'return'
       ;
   
   SUPER
  
positive.code:     :   'for'
      ;
  
  TYPE_CONSTRAINT
      :   'given'
      ;
  
negative.code:     : '`'
      ;
  
  ABSTRACTED_TYPE
      :   'abstracts'
      ;
  
  ALIAS
      :   'alias'
      ;
  
  ASSEMBLY
      : 'assembly'
      ;
  