Test Trac #7910
Update test now that undefined has an OpenKind forall
Wibbles to error messages
Better error message
Test Trac #7268
Test Trac #7888
Test Trac #7892
Update test for application of (->) to Int#