WyC: Updated char type to support all operators.

The char type now supports all arithmetic and comparator operators as
part of #418.  In addition, the error messages have been improved in the
case of incomparable operands, etc.
WyC: Bug fixes for updated char type #418.

Some minor bug fixes related to updating char type to support arithmetic
and comparators.