Bump typelit plugins

[kleinreact]

The PR bumps ghc-typelits-natnormalise, ghc-typelits-knownnat, and ghc-typelits-extra to the latest versions and introduces some required code changes in clash-prelude to make it compile.

Still TODO:

• Blocked by Type error after plugin update ghc-typelits-natnormalise#108
• Requires Bump typelit plugins (preparations) #3062
• Blocked by Plugin causes either Winaccessible-code or Wincomplete-patterns ghc-typelits-natnormalise#109
• Requires Derive new givens ghc-typelits-natnormalise#110
• Write a changelog entry (see changelog/README.md)
• Check copyright notices are up to date in edited files

Nice to have:

• Add missing rewrite rules ghc-typelits-extra#64
• Check whether it fixes CLog type family reduction #3078

[DigitalBrains1]

Could you also locally run a check with --prefer-oldest at least on our oldest supported GHC, to see that the older plugins also still allow the changed code to type-check?

[kleinreact]

Could you also locally run a check with --prefer-oldest at least on our oldest supported GHC, to see that the older plugins also still allow the changed code to type-check?

Every build is currently failing due to warnings caused by clash-lang/ghc-typelits-natnormalise#105 (comment). I created another branch for just checking the changes to Clash.Sized.Vector: #3062.

[leonschoorl]

If the new code in Vector.hs doesn't typecheck with the old version of the plugin(s), the lower bound increases should be permanant.
But possibly conditional on the GHC version.

[christiaanb]

I’m adding some features and fixes in clash-lang/ghc-typelits-natnormalise#110 which will hopefully only require haddock/doctest changes w.r.t. error messages for clash-prelude.