Even if we use a first-class type, we need to initialize it with something.  The options on the table are a list of symbols, a list of symbols and/or numbers, and a string.

On Wed, Jul 29, 2020 at 11:39 AM Alex Shinn <xxxxxx@gmail.com> wrote:
On Wed, Jul 29, 2020 at 10:56 PM John Cowan <xxxxxx@ccil.org> wrote:
The trouble is that |045| and 045 have different string representations.  We should either go with the original list-of-symbols formulation, or we should go back to a hyphen/underscore separated string, which is what the rest of the planet uses (which is starting to look good after all).

Or just use a first-class type.  The printed representation is a separate issue,
and for practical purposes we need to be able to parse the rest of the world
strings regardless.

--
Alex