[Git][ghc/ghc][wip/fendor/revert-backtrace-decoder] 30 commits: Improve how we detect user type errors in types