anchor.diff:      ;
   
   base 
  -    : typeName
  -    | memberName
  +    : '#'? regularType
  +    |'#'? memberName
       | literal
       | parExpression
       //| enumeration
  
positive.code:     | TIMELITERAL
      | REGEXPLITERAL
      | stringLiteral
      | typeLiteral
      ;   
  
  //FIXME: member literals are a problem!
  //FIXME: type parameters 
  typeLiteral
      : '#' typeName //'#' type
      ;
  
  stringLiteral
      : SIMPLESTRINGLITERAL
  
negative.code:     ;
  
  regularType
      : typeName ( (typeParameterStart) => typeParameters )?
      ;
  
  functorType
  