Required types and proposals initializations have been added.
Less operators have been removed.
Memory model has been extended.
hasEmtySlots() method has been added to PropolsalInWork class.
Proposal log has been added in WorkingMemory class.