Undo dubious optimisation in resolveTC

Since hnf_compute doesn't do what it says, and it's causing some obscure
or complicated type class constraints not to resolve properly.
Fixes #1688