Bug fix for previous partial fix for building coercions.  But, coercions are still broken.
Bug fix for previous partial fix for building coercions.  But, coercions are still broken.

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