Refactor TxMintValue

[carbolymer]

Changelog

- description: |
    Add `sbeToSimpleScriptLanguageInEra`, `getScriptWitnessScript`, `getScriptWitnessReferenceInput`, `getScriptWitnessReferenceInputOrScript` function
    Refactor `TxMintValue` to better represent minting state
    Propagate `IsPlutusLanguage` constraint to `ScriptLanguage lang`, `AnyPlutusScriptVersion`, `Script lang` and `ScriptWitness witctx era` types.
    Remove `Maybe ScriptHash` from `PReferenceScript` and `SReferenceScript`.

# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
   - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
   - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

Supersedes:

• Remove redundant ScriptHash in ReferenceScript datatypes #642

Fixes:

• Remove redundant Maybe ScriptHash from PReferenceScript #606

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[Jimbo4350]

This looks good to me. One gripe regarding traverseScriptWitnesses. Clean up and I'll have a final look before approving.

[Jimbo4350]

This may be "neater" Haskell but making this more generic doesn't really help the reader IMO. Also it's only instantiated to ScriptWitness ctx era.

[carbolymer]

It's not only instantiated to ScriptWitness ctx era - in line 1629 it is used against

        [ (Value, Either (TxBodyErrorAutoBalance era)
          ( AssetName
          , Quantity
          , BuildTxWith build (ScriptWitness WitCtxMint era)
          )
        ]

So the previous function type won't work.

[Jimbo4350]

A 3-tuple is less than ideal but I can't think of what to call this instead.

[carbolymer]

• Upstream sbeToSimpleScriptLangInEra from Minting script witness refactor cardano-cli#971

[Jimbo4350]

LGTM!