WYCS: beginning the process of integrating the new solver into WYCS.
WYCS: copied over the new solver ... but now everything is going to break.
WYCS: ok, minor bug fix ... but now I need to make equations substitute properly.
WYCS: Bug fixes for various pieces of the verification check.  The new solver passes at least *one* existing WYCS test.
WYCS: bug fixes for converting Wycs Semantic Types into the Solver types.
WYCS: making some small progress fixing bugs.
WYCS: working through a bug I've found in the way that type propagation is performed.