anchor.diff:     ;
   
   declaration
  -   : identifier_list ':' type ';'
  -   | identifier_list ':' type ASSIGN expression ';'
  +   : identifier_list ':' type_ ';'
  +   | identifier_list ':' type_ ASSIGN expression ';'
      | identifier_list ':' 'con' expression ';'
      | identifier_list ':' 'import' IDENTIFIER ';'
  -   | identifier_list ':' 'type' type ';'
  +   | identifier_list ':' 'type' type_ ';'
      | 'include' string_constant ';'
      ;
   
  
positive.code:    : expression+
     ;
  
  type
     : data_type
     | function_type
     ;
  
negative.code:    | identifier_list ':' data_type ';'
     | adt_declaration ';'
     | identifier_list ':' 'con' expression ';'
     | identifier_list ':' 'type' type_ ';'
     ;
  
  adt_declaration
  