More useful semantics for proper-quoted string literals.