Use traits to convert char_type -> int_type.

For the user-defined character type support.