Decided - MOLD char!

In R3 a char can be Unicode. For example, this is valid:

c: #"^(1234)"

The 1234 is a hex value for the character.

This is also valid:

c: #"***"

Where the *** is a multi-byte UTF-8 encoded character.

However, when we mold such a character, which of the above formats is best? Do we want the hex escaped value or the actual character?

Decision

By default, the character will be in its native encoded format. In other words, a Greek alpha will appear as #"α".

There will be an option added to force MOLD to output the ^(1234) escaped format when needed.