Updated nocompat

I'm finally on holiday again, so I'm dusting off some of the code cleanup I started ages ago.

Recently the GHC 6.12 series became more than three years old, so there's a decent chance we can drop the exception compatibility modules altogether. These commits bring us a bit closer to that goal.