* added IPropositionValue interface for value container proposition members.
* Value contained members now has a negated flag.
* evaluation does not need assignment of all values, this is optional now.
* Parser now returns PropositionArray instead of IEnumerable<IPropositionMember>, so all methods refactored.