Robuta

https://mail.haskell.org/pipermail/ghc-commits/2023-July/055394.html [Git][ghc/ghc][wip/romes/eqsat-pmc] Add TODO git ghc wip romes eqsat https://mail.haskell.org/pipermail/ghc-commits/2023-July/055233.html [Git][ghc/ghc][wip/romes/eqsat-pmc] Improve a little bit the mixing of Ids and ClassIds