[CL] Another point about enclosed names

[John F. Sowa]

While we're thinking of adding some clarifications to the CL standard,
I'd like to see answers to the following questions:

  1. Is a numeral enclosed in double quotes considered
     identical to a numeral not enclosed in quotes?

     Is (= "123" 123) true?

  2. Is a quoted string enclosed in double quotes considered
     identical to a quoted string without the double quotes?

     Is (= "'abc'" 'abc') true?

As a precedent, HTML treats "123" and 123 as identical.

I'd like to add the following clarification (or its equivalent
in other wording):

    Any namecharsequence, numeral, or quoted string is considered
    identical to the enclosedname that consists of the same sequence
    of characters preceded and followed by a name quote.

John