anchor.diff:      ;
   
   localDeclaration
  +    //TODO: type inference: (type|'def')
       : type memberName initializer? ';'
       ;
   
  
positive.code:     ;
        
  namedArgument
      : parameterName specifier ';'
      ;
      
  parameterName
  
negative.code:     ;
  
  typeConstraint
      : typeName ( ('>=' | '<=') type | '=' 'subtype' | formalParameters )
      ;
      
  typeConstraints
      //TODO: should it be 'for'?
      : 'where' typeConstraint ('&' typeConstraint)*
      ;
      
  