Basic model of proposers and acceptors.
Proposers keep track of current accepted value.
Working model of proposers/acceptors with test.
Working model of learners.