anchor.diff:  ;
   
   pr_DeterministicModifier:
  -	DETERMINISTICKEYWORD	//TODO: Modifier '@deterministic' is not currently supported.
  -{
  -	reportWarning( "Modifier '@deterministic' is not currently supported.", $start, getStopToken() );
  +	DETERMINISTICKEYWORD	//TODO: Modifier '@deterministic' is not yet supported.
  +{
  +	reportWarning( "Modifier '@deterministic' is not yet supported.", $start, getStopToken() );
   };
   
   pr_IndexSpec:
   	i = INDEXKEYWORD
   	pr_ValueStoreSpec
   {
  -	reportWarning( "Modifier '@index' is not currently supported.", $i );
  +	reportWarning( "Modifier '@index' is not yet supported.", $i );
   };
   
   //------------------------------------------------------
  
positive.code: 	endcol = pr_RParen
  )
  {
  	reportUnsupportedConstruct( "Type parameterization is not currently supported", $col.start, $endcol.stop );
  };
  
  pr_StructDefFormalPar:
  
negative.code: ;
  
  pr_PatternChunk[StringBuilder builder, boolean[] uni, boolean noCase]:
  //TODO: use noCase
  (	a = pr_CString { $builder.append($a.string); }
  |	v = pr_ReferencedValue
  		{	$builder.append('{');
  