Added negative expressions.
InterpretationImpl can update according to negative assertions.
ConceptImpl updates according to negative assertion.
Prototype can update according to negative assertion.
ThresholdImpl can update according to negative assertions.
Added new end2end test for specifying positive prior.
Added feature allowing null assertions.