Import monotonic functions from Paxos.

Closes #7.