added ProposalEngine and it's implementation - IteratingAllDomains.