Perform moves on all levels where leaders reside
Rename atomic command constructors
Introduce description-only counterparts to atomic commands
Add some client-only reactions to atomic actions received
Add inventory character to actor containers
Fix leader election
Add client reactions to effects
Liberate CmdSerSem and EffectSem from explicit communication with clients
Handle actor death
Remove unused commands
Reorganize client commands
Simplify sending messages to AI clients
Simplifty sharing the screen between clients
Clean up game exit
Reorder server and human commands wrt atomic commads
Get rid of GADTs by simplifying client queries
Spit and rename client modules
Wait with saving game backup until the end of the clip

Otherwise, some level might have less time elapsed than others,
to the detriment of the inhabitants of the levels.
Encode in types that CmdSer do not send messages
Restructure and rename human command semantic functions