Several times in the past, it has happened that things from GHC.Types were not re-exported from GHC.Exts, forcing users to import either GHC.Types or GHC.Prim, which have a weaker guarantee about stability.
We now re-export GHC.Types from GHC.Exts, which should avoid this happening again in the future. In particular, we now re-export Multiplicity and MultMul, which we didn't before. This thus fixes #20695 (closed).
I've taken the opportunity to spruce up the haddocks of GHC.Types and GHC.Exts somewhat, although the way the contents of GHC.Prim are inlined into GHC.Exts is still rather unsatisfactory.