Cardano Updates

DSIGNM is a variation on the DSIGN typeclass that allows explicitly
managing the memory that sign keys are stored in, in order to securely
erase it, and prevent sign keys from spilling to disk.

Ed25519ML is an mlocked flavor of the Ed25519 DSIGN algorithm that meets
these additional requirements, exposing the monadic DSIGNM API instead
of the morally pure DSIGN API.

Add a type class for measures

This class will be used at least across Ledger and Consensus code (possibly
also Plutus) as a common interface to the multi-dimensional sizes of
transactions as of Alonzo.

Co-authored-by: Pawel Szulc <[email protected]>

Enables deriving more classes via the `InstantiatedAt` newtype hook, further
allowing more explicitness, legibility, and consistency in downstream instance
deriving.

The concrete motivation is to enable more explicit, more consistent, and more
legible instance deriving in downstream packages.

This class will be used at least across Ledger and Consensus code (possibly
also Plutus) as a common interface to the multi-dimensional sizes of
transactions as of Alonzo.

Co-authored-by: Pawel Szulc <[email protected]>

Enables deriving more classes via the `InstantiatedAt` newtype hook, further
allowing more explicitness, legibility, and consistency in downstream instance
deriving.

The concrete motivation is to enable more explicit, more consistent, and more
legible instance deriving in downstream packages.