mLang: partialEval() and toDisjunctiveNormalForm() improvements
mLang: partialEval() and toDisjunctiveNormalForm() improvements

- Implement toDNF for IN(ref, const-array)
- (AND|OR).partialEval(): Dedup. Duplicates can arise from toDNF.
- Binary.contradicts(other): Used by AND to detect contradiction.

foam-framework/foam2,foam-framework/foam2,foam-framework/foam2,jacksonic/vjlofvhjfgm,TanayParikh/foam2,foam-framework/foam2,TanayParikh/foam2,jacksonic/vjlofvhjfgm,jacksonic/vjlofvhjfgm,TanayParikh/foam2,TanayParikh/foam2,foam-framework/foam2