If you’d looked at what I’ve already implemented, you’d see that I already do that.
(Remember, I implemented AbstractChar before it was put in Base)
Since String and Char are not part of the Str and CodePoint types, and for convenience,
I have cse and charset functions that return the character set encoding and character set respectively.