Made good progress fixing up class file builder for type testing, but still need to do type propagation ...
Made good progress fixing up class file builder for type testing, but still need to do type propagation ...

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