DomainIterator.Random deactivated;
 added top-priority highlight and failed positions 'x' marks;
 enabled ProposalEngine.SharingKnowledge;