Parameterise Certificate type with phantom era type argument

[newhoggy]

Changelog

- description: |
    - Parameterise `Certificate` type with phantom `era` type argument
    - Additional `CardanoEra era` argument for:
      - `makeCommitteeDelegationCertificate`
      - `makeCommitteeHotKeyUnregistrationCertificate`
      - `makeMIRCertificate`
      - `makeStakeAddressDeregistrationCertificate`
      - `makeStakeAddressPoolDelegationCertificate`
      - `makeStakeAddressRegistrationCertificate`
      - `makeStakePoolRegistrationCertificate`
      - `makeStakePoolRetirementCertificate`
    - New functions:
      - `cardanoEraConstraints`
      - `textEnvelopeTypeInEra`
    - Delete `Certificate` constructor arguments from:
      - `PoolRegistration`
      - `PoolReRegistration`
  compatibility: breaking
  type: feature

Context

The addition of the era type parameter is necessary for the Conway era which not only introduces new certificate types but also modifies existing certificates in a backward compatible but not forward compatible way.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• The change log section in the PR description has been filled in
• New tests are added if needed and existing tests are updated. These may include:
  • golden tests
  • property tests
  • roundtrip tests
• Any changes are noted in the CHANGELOG.md for affected package
• The version bounds in .cabal files are updated
• CI passes. See note on CI. The following CI checks are required:
  • Code is linted with hlint. See .github/workflows/check-hlint.yml to get the hlint version
  • Code is formatted with stylish-haskell. See .github/workflows/stylish-haskell.yml to get the stylish-haskell version
  • Code builds on Linux, MacOS and Windows for ghc-8.10.7 and ghc-9.2.7
• Self-reviewed the diff

Note on CI

If your PR is from a fork, the necessary CI jobs won't trigger automatically for security reasons.
You will need to get someone with write privileges. Please contact IOG node developers to do this
for you.

[Jimbo4350]

Requesting changes so I have a chance to review

[erikd]

This needs to be squashed down to s single commit but otherwise LGTM.

Have walked through this changes with Mateusz and Jordan