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: contextPipe : 'pipe' '(' 'outPoint' '('srvCondition',' contextPathName')' ',' 
  			'inPoint' '('srvExertion',' contextPathName')' ')' ;
  
  exertionStrategy : 'strategy' '(' (accessType',')? (flowType',')? (monitorable',')? (provisionable)? ')' ;
  
  flowType: 'Flow.PAR' | 'Flow.SEQ' ;
  
  