Second attempt: Update ghc-tcplugins-extra and ghc-typelits-* to GHC 9.13.20240927
This is a second attempt, this time not from a private fork of head.hackage (is this not how MRs are supposed to be created? on github that's how it's usually done), which resulted in broken CI, but from a branch of the main fork.