Making progress pushing through nominal types.  Type propagation is now compiling.
Making progress pushing through nominal types.  Type propagation is now compiling.

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