NewType minimisation is now working.  One problem which I'm unsure how to solve is that of dealing with "normalisation" of union types.  For example, taking the union of two types t1 and t2 where t1 :> t2 should just give t1.  But, my minimisation procedure does not take that into account.  In fact, if they are the exact same types it will still not collapse them properly.
NewType minimisation is now working.  One problem which I'm unsure how to solve is that of dealing with "normalisation" of union types.  For example, taking the union of two types t1 and t2 where t1 :> t2 should just give t1.  But, my minimisation procedure does not take that into account.  In fact, if they are the exact same types it will still not collapse them properly.

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