Sets of characters with efficient range representations.

Includes large unicode characters, and so we can't use the
Character class directly. Instead the API uses strings of
one character (for small unicode characters) or two surrogates
(for large unicode characters).