WYCS: working through the new type pattern syntax.
WYCS: working on syntax
WYCS: more bug fixes
WYCS: various minor improvements.  It remains to handle quantifier instantiation properly though.
WYCS: working on the quantifier instantiation rule.
WYCS: quantifer instantiation is doing something useful.
WYCS: bug fix for constraints versus sources.
WYIL: minor tweaks to the way that modified operands are dealt with; but, they need to be fixed!
WYCS: bug fix for inverting subset operators.
WYIL: added support to the verification branch for tracking type information.
WYCS: more tweaks.
WYONE: minor fix to the build.xml file.
Merge branch 'devel' of github.com:DavePearce/Whiley