Revives ghc-typelits-presburger and its transitive dependents

[konn]

This PR revives ghc-typelits-presburger in LTS 23, which once got excluded due to getKey incompatibility in GHC 9.8.4. All the packages are tested to be built with GHC 9.8.4 with recent LTS 23 dependencies.

Checklist for adding a package:

• Meaningful commit message, eg add my-cool-package (please don't mention the yaml file)

• Package is already added to nightly (if possible)

• On your machine, in a new directory, you have successfully run the following set of commands (replacing $package and $version with the name and version of the package you want to add to Stackage LTS):

  stack unpack $package-$version
  cd $package-$version
  stack init --resolver lts
  stack --resolver lts build --haddock --test --bench --no-run-benchmarks
  

or using the verify-package script:

  verify-package $package lts

[konn]

@mihaimaruseac it seems that new minor version of LTS 23 has just been released but without this PR. Is there anything I havd to do to get this PR merged?

[mihaimaruseac]

I think the curator on duty missed it. Next one should review it

[konn]

Hi, seems LTS 23.5 just have been released. Who should I talk to to get this PR included in the next LTS 23?

[konn]

@mihaimaruseac Sorry for disturbance, but how can I get in touch with the curator of the next release?

[juhp]

Merged, thank you

[konn]

Thanks!