Lots of bugfixing.

The biggest change is the addition of topNormaliseNewTypeTF_maybe,
which does exactly what is necessary in the canonicaliser. There's
a little code duplication, but this is much cleaner than what I had
before, which redundantly unwrapped type families, among other
nastiness.
More bugfixes. The non-stat testsuite should hopefully pass now.