I find it confusing that we have `ASCIIString`, `UTF8String`, and `UTF16String`, but we don't have `UTF32String`. Can we just rename `CharString`?
I find it confusing that we have
ASCIIString,UTF8String, andUTF16String, but we don't haveUTF32String.Can we just rename
CharString?