WYCS: added new test cases.
WYCS: added file for the new test case!!
WYCS: minor tweak for debugging output.
WYCS: adding support for type constraints and, implicitly, pre and postconditions for functions.
WYCS: type propagation is now proceeding through the new constrained type pattern.
WYCS: put stuff back together but lots of blanks to fill in still.
WYCS: function pre/post conditions are now starting to work.  Unfortunately, macros are currently completely broken!!!
WYCS: working on macro definitions.
WYCS: ok, macros are now working for the most part.
WYCS: ok, almost go it working ... but still some problems with type patterns.
WYCS: ok, complete role reversal on constrained type patterns (although I think there a good idea for Whiley).
WYCS: refactoring all existing code.
WYCS: lots of tweaks to stuff.
WYCS: fixed up broken test case.
WYCS: bug fix for macro expansion.
WYCS: making some slow progress.