anchor.diff:        name=qualifiableOpNames
         (fixity
         )?
  -      nonWordSymbol[":"] 
  -      sort=sort
  +      COLON
  +      sort=sortScheme
                               {op = builder.createOp(name, sort);
                                ParserUtil.setBounds(builder, op, begin, LT(0));
                               }
  
positive.code:     : (closedPattern
        )*                    {params = (String[]) paramList.toArray(new String[]{});}
      ;
  
  private pattern
      : basicPattern
  
negative.code:     ;
  
  private tightPattern
      : (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
      | closedPattern (COLONCOLON tightPattern)?
      ;
  
  private aliasedPattern
      : variablePattern "as" tightPattern
      ;
  
  private embedPattern
      : name closedPattern
      ;
  
  private variablePattern
  