All client/server remote-proceedure calls have the following form:
Msg$ => {Reply, NextState}$
Here Msg and Type are UBF(A) types and NextState is the next state of the server.
