anchor.diff:  
   (**
   
  -Next are string literals, which are very similar to quoted identifiers.
  +Next are string literals, which are similar in implementation to quoted identifiers.
   
   *)
   
  
positive.code:     || c >= '0' && c <= '9'
      || c = '$'
  
  /// A plain, unquoted name
  let unquotedName =
      let identifier =
          many1Satisfy2 isInitialIdentifierCharacter isFollowingIdentifierCharacter
  
negative.code: 
  (**
  
  In expressions, any kind of literal is OK.
  
  *)
  
  