WyCS: Updated test cases which now pass.

These test cases are now passing because of the new rule for dealing
with equations in the solver.
WyC: Removed notion of Implicit Coercion #418.

This is currently not complete, in the sense that lots of test cases are
currently failing.  These need to be further inspected and updated.
WyC: Removed Implicit Coercions from Tests #418

Working through valid test cases and eliminating any use of implicit
coercions.  As a result, there are some test cases which no longer make
sense.  There are also some test cases for which we need to figure out
what the right option is.
WyC: Removed Implicit Coercions from Tests #418

Working through valid test cases and eliminating any use of implicit
coercions.  As a result, there are some test cases which no longer make
sense.  There are also some test cases for which we need to figure out
what the right option is.
WyC: Updating char type to support arithmetic.

As part of #418, have updated char datatype to support binary
arithmetic.  Need to complete this for other operators.
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.