One happy round of Paxos.

See #93.
See #92.
See #89.
Sketch of learning.