Some refactoring to bring it in line with my whiley.org article.
Some refactoring to bring it in line with my whiley.org article.

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