Ed, and other ghc-devs

We are busy tidying up magicDict, and making it much more type-safe: see

• https://gitlab.haskell.org/ghc/ghc/-/issues/16646
• https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5573

As part of that change we’re think of changing its currently-rather-obscure name.  I rather favour “reflectDict”.  Any other views?

Simon