anchor.diff:      ;
   
   formalParameterType
  -    : type '...'? | 'void'
  +    : type ( '...' -> ^(SEQ_TYPE type) | -> type )
  +    | VOID -> VOID
       ;
   
   // Control structures.
  
positive.code:     ;
  
  typeParameter
      : ordinaryTypeParameter '...'? 
      //| '#'! dimensionalTypeParameter
      ;
  
  ordinaryTypeParameter
      : variance? typeName
      -> ^(TYPE_PARAMETER ^(TYPE_VARIANCE variance)? typeName)
      ;
  
  variance
  
negative.code:     ;
  
  typeArgument
      : type ( '...' -> ^(SEQ_TYPE type) | -> type ) 
      ; /*| '#'! dimension
      ;
  
  