Cardano Updates

Use `AccountId` for stake pools

* Rename `spsAccountAddress` -> `spsAccountId` and change its type to
  `AccountId` instead of `Credential Staking`
* Change type of `spssAccountId` from `AccountId` to `Credential Staking`

Introduce DijkstraEraBlockHeader to have a lens to the previous nonce,
and the DijkstraBbodySignal GADT to constrain the header existantially,
same as for BbodySignal.

Move PerasCert, PerasKey and validatePerasCert to dijkstra's BlockBody.

Remove PrevEpochNonceNotPresent because the field is implicitly present
in the signal to the BBODY rule now.

Refactor the dijkstra BBODY rule to reuse validations from shelley,
alonzo, conway, inlined, because the change in the type of Signal makes
calling earlier BBODY transitions impossible.

to match the type in the PParams data type

That field is actually needed for the rewards pulser. However, the goal
is to reduce the number of tables that will be needed for LedgerHD and
this field can be removed, since it, by definition, has a domain that is
a superset of `ssActiveStake` and it is only the entries that are
also present in `ssActiveStake` that are needed, because for reward
calculation we need non-zero stake taht is delegated to a stake pool.

Therefore this filed is marked to be subsumed by the `ssActiveStake`

That field is actually needed for the rewards pulser. However, the goal
is to reduce the number of tables that will be needed for LedgerHD and
this field can be removed, since it, by definition, has a domain that is
a superset of `ssActiveStake` and it is only the entries that are
also present in `ssActiveStake` that are needed, because for reward
calculation we need non-zero stake taht is delegated to a stake pool.

Therefore this filed is marked to be subsumed by the `ssActiveStake`

This is done for convenience of partial application with `mapWithKey`
like functions