anchor.diff:  contextEntry : dataEntry | srvEntry | varEntry | fiEntry
   			| entType '(' contextEntry ')' ;
   
  +entType : 'in' | 'out' | 'inout' | 'db' ;
  +
   sigFidelity : 'sFi' '(' fiName ',' opSignature+ ')' ;
   
  -morphFidelity : 'mFi' '(' fiName ',' srvRequest+ ')'
  -			| 'mFi' '(' fiName ',' srvMorpher ',' srvRequest+ ')' ;
  +morphFidelity : 'mFi' '(' fiName (',' srvRequest)+ ')'
  +			| 'mFi' '(' fiName ',' srvMorpher (',' srvRequest)+ ')' ;
   			
   srvMorpher: morpherLambdaExpression ;
   
  
positive.code: 
  /* <ENTRIES> */
  
  entType : 'in' | 'out' | 'inout' | 'db' ;
  annotatedPath : 'path' '(' pathName ( ',' pathTag)? ')' ;
  srvPath : pathName | annotatedPath ;
  
  dataEntry : 'val' '(' srvPath ',' value ')' | 'entTypeVal' '(' srvPath ',' value ')' ;
  
  mapEntry : 'ent' '(' fromPathName ',' toPathName ')' ;
  
  procEntry : ('ent' '(' opSignature ')' | 'ent' '(' pathName ',' srvEvaluator ')' | 'ent' '(' pathName ',' srvInvoker ( ',' srvModel)? ')' | lambdaEntry  ')') ;
  
  
negative.code: 			| 'lambda' '(' pathName ',' clientLambdaExpression',' srvArgs ')'
  			| 'lambda' '(' pathName ',' valueCallableLambdaExpression',' srvArgs ')' ;
  
  srvEntry : ('ent' '(' pathName ',' opSignature ( ',' srvModel)? ( ',' cxtSelector)? ')') 
  			| ('ent' '(' pathName ',' srvRoutine ')') | ('ent' '(' pathName ',' srvMogram ')') ;
  
  cxtSelector : selector '(' (componentName',' )? pathName+ ')' ;
  
  