Added implementation of ProposalId
Updated implementation according to changes to Plain Paxos