(Temporary!) Turn off typecase test

This needs to be done properly, and currently isn't, which is breaking
more things than it fixes. Will revisit ASAP...
Fix Fin literals and add test

This was actually due to a preview fix for a bug which we were working
around in Prelude.Fin! But the tests didn't catch the problem, and so
now they will in future.