An implementation of Paxos, using the common types defined in Pax