WyC: type checking is not working and I don't know why.
WyC: type checking is not working and I don't know why.

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