proj: first cut at paxos message formats