Got rid of the polarity hack and split match possibilities into working with sets of possible derivations.
Got rid of the polarity hack and split match possibilities into working with sets of possible derivations.