[Git][ghc/ghc][wip/davide/ghc-internal-def] 695 commits: Refactor fundep solving