TESTING: Added test cases for #393
WyIL: Bug fix for #396
This fixes some problems with identifying contractive types, which was
previously being done too aggressively and incorrectly reporting types
were contractive when they weren't.