Add constructor for paxos_simple and proposer.