anchor.diff:      : '`' | '~' | '!' | '@' 
       | '$' | '^' | '&' | '-'
       | '+' | '<' | '>' | '?' 
  -    | '*' | '=' /*| ':' | '|' */
  -    | '\\' /*| '/' */
  +    | '*' | '=' | ':' | '|'
  +    | '\\' | '/'
       ;
   
   
  
positive.code: }
      : begin:"sort" 
        sortName=qualifiableSortNames
        ((formalSortParameters) => 
              (params=formalSortParameters) (equals sortDef=sort)?
            | (equals sortDef=sort)?
        )
                             {sort = builder.createSort(sortName, params);
                               ParserUtil.setBounds(builder, sort, begin, LT(0));
  
negative.code:     ;
  
  private tightPattern
      : //for performance reasons, made this part of the closedPattern production... (embedPattern) => embedPattern
  //this is the (COLONCOLON tightPattern)? part of the closedPattern production...   | consPattern
      | aliasedPattern
      | quotientPattern
  //the rule for relaxPattern wasn't in the official grammar...    | relaxPattern
      | (name)? closedPattern (COLONCOLON tightPattern)?
      ;
  
  private aliasedPattern
  