A table to manage standard character names.
This is conceptually a HashMap<String,String>, except that
the value strings are allocated lazily when the key is first requested.
(Not sure if this is worth a separate class, but the code is
simple, it should make startup faster, and save having to
intern over 2200 value strings.)