Criterion conditions init in working memory has been refactored.
Required types instances have been collected in WorkingMemory.
First ProposalInWork version has been added.