This removes the need to pass it in messages, like we used to in
`MsgResp` in `typed-protocols-examples`.

The `Driver` and `Codec` were modified:
* `encode` and `sendMessage` receive the initial state of the protocol
  state transition imposed by a message, which is dual to
* `decode` and `recvMessage` receive the final state of the protocol
  state transition imposed by a message

This is seems more natural than always passing the final state.

The drawback of this systemic approach is that every `Yield` needs
access to both initial and final state of a transition.  In previous
approach one had more control over which messages require access to the
initial state (e.g. `MsgRecv` in `Stateful.ReqResp`) - although it was
looking more like a hack since that part of a message wasn't sent over
the wire.

Also done for typed-protocols-stateful-codec.

Also use `cabal-version: 3.4` in all packages.