added Iterating;
implemented impl.PriorityAndProposalBasedAgent using a corresponding spec;