ok, well, that's the basic system.  Need to actually do some subtype testing now!
ok, well, that's the basic system.  Need to actually do some subtype testing now!

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