WYCS: begun the process of including types into the solver
WYCS: bug fix for quantification application.
WYCS: found a wierd bug.
WYCS: added another test case which fails.
Working on an invalid test.
WYCS: bug fixes for an errant rule.
WYCS: hmmm
WYCS: stuck
WYCS: Jeepers, this is not even close.
WYCS: added yet another test case.
WYCS: I give up for now.
WYCS: added a few more test cases.
WYCS: working through the invalid test cases.
WYCS: working on improving the text cases
WYCS: minor renaming
WYCS: working on fixing test cases
WYCS: working on removing some redundant tests.
WYCS: minor tweak
WYCS: added a new test based on a failing whiley test.
WYCS: trying to make this thing do something vaguely useful.