Ok, converted quite a bit of stuff in the code generation phase.
Ok, converted quite a bit of stuff in the code generation phase.

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