Cardano Updates

Use DuplicateRecordFields for:
* `Wanton`
* `TranslocationServiceRequest`
* `ProtocolBurst`

These are all internal data types, so we won't force it on `network-mux`
user.

Refactor `muxerLoop`

It's easier to read `[(EgressQueue m, [(Word8, Egress m)])]`, than the
other way around, since then it's the `EgressQueue` we read and its tail
much like `x : xs`.  This also avoids using `traverse` over tuple which
is a bit surprising.

Move constants to top level bindings:
* `maxSDUsPerBatch`
* `burstMinSdu`

An explicit loop is easier to follow.  We also avoid calling `error
"impossible"`.

Use an explicit loop in `muxer`, as a result `transformers` dependency
is gone.

Replaced `Bool` with:
* `CanBatch` - can we batch more SDUs from different mini-protocols.
* `CanBurst` - can we burst more SDUs from a single mini-protocol.

Replaced a custom `allM` with `foldMap All . traverse`.  In the future
we can fuse `foldMap` with `traverse`.

Added dedicated API:
* `NextSDUSize`, `nextSDUSizeToSDUSize`
* `TokenSize` (type alias), `consumedTokens`

* added type signatures
* change argument order of `processSingleWanton`
* added `SDUWithWantonState`
* added bangs to all `go` definitions

Use DuplicateRecordFields for:
* `Wanton`
* `TranslocationServiceRequest`
* `ProtocolBurst`

These are all internal data types, so we won't force it on `network-mux`
user.

Refatctor `muxerLoop`

It's easier to read `[(EgressQueue m, [(Word8, Egress m)])]`, than the
other way around, since then it's the `EgressQueue` we read and its tail
much like `x : xs`.  This also avoids using `traverse` over tuple which
is a bit surprising.

Use an explicit loop in `muxer`, as a result `transformers` dependency
is gone.

Replaced `Bool` with `CanBurst`.

Refatctor `muxerLoop`

It's easier to read `[(EgressQueue m, [(Word8, Egress m)])]`, than the
other way around, since then it's the `EgressQueue` we read and its tail
much like `x : xs`.  This also avoids using `traverse` over tuple which
is a bit surprising.

Use an explicit loop in `muxer`.

Replaced `Bool` with `CanBurst`.

Move constants to top level bindings:
* `maxSDUsPerBatch`
* `burstMinSdu`

Replaced a custom `allM` with `foldMap All . traverse`.  In the future
we can fuse `foldMap` with `traverse`.

Replaced `Bool` with `CanBurst`.

Move constants to top level bindings:
* `maxSDUsPerBatch`
* `burstMinSdu`

Replaced a custom `allM` with `foldMap All . traverse`.  In the future
we can fuse `foldMap` with `traverse`.