anchor.diff:      ;
   
   typeArgument
  -    : type '...'?
  +    : type ( '...' -> ^(SEQ_TYPE type) | -> type ) 
       ; /*| '#'! dimension
       ;
   
  
positive.code:     ;
  
  formalParameterType
      : type '...'? | 'void'
      ;
  
  // Control structures.
  
negative.code:     PRIMARY;
      SATISFIES_EXPR;
      SEQ_ARG;
      SEQ_TYPE;
      SEQ_TYPE_PARAMETER;
      SPECIAL_ARG;
      TRY_CATCH_STMT;
      TRY_RESOURCE;
  