Make reifyInstances support Typeable

Motivation

GHC currently does not reifyInstances for Typeable. This makes it so that I have to special case something that has to support Typeable in my TH code.

Proposal

Support Typeable reification.

Additional Context

https://hackage.haskell.org/package/template-haskell-2.19.0.0/docs/Language-Haskell-TH.html#v:reifyInstances

For an example of where this is useful/ an issue, please refer to:

https://git.sr.ht/~mangoiv/htree/tree/main/item/test/Spec/HTree/TH.hs And https://git.sr.ht/~mangoiv/htree/tree/main/item/test/Spec/HTree/Orphans.hs