Ok, first very rough version of coercion insertion is operational.  Probably heaps and heaps of bugs though ...
Ok, first very rough version of coercion insertion is operational.  Probably heaps and heaps of bugs though ...

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