Characteristic predicate Char::Char

There must be a unicode character corresponding to the code point for this to be a Char.