rename CharString -> UTF32String (fix #4943)

As explained in #4943, this deprecates `CharString` in favor of `UTF32String`.