unicode as valid naming symbols

[Gregory Ewing]

Chris Angelico wrote:
> a 5x8 bitmap has
> forty pixels, any of which can be either on or off - that gives
> roughly twice as much data space as the 21-bit Unicode spec.

We don't need a font, then -- just map the pixels
straight onto bits in the character code!

Might require some user re-education, but that's
a small price to pay for saving so much memory
space.

-- 
Greg