[Git][ghc/ghc][wip/26264] 26 commits: Improve how we detect user type errors in types