WYRL: Bug fixes.  Logic example seems to work now, and types is close but there remains a bug with the last example from the README.
WYRL: Bug fixes.  Logic example seems to work now, and types is close but there remains a bug with the last example from the README.

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler