WyIL: Improved reporting for Contractive Types.
Contractive types were not being properly reported and, instead, an
exception was being thrown.  This was causing problems for #383 and