Simple eta reduction in call to adjustMatchResults, just a tidy-up
Make the unifier a fixpoint even for the free kind vars of a tyvar

The (pure) unifier tcUnifyTys returns an idempotent substitution.
But previously the kinds of type variables free in the range of
the subst could have un-substituted kind variables.

This patch fixes that, fixing Trac #9106.

See Note [Finding the substitution fixpoint] in Unify
Better pretty-printing for ClsInst
More debug info for failures in typeKind and kindFunResult
White space only