LOGIC-160: Disequality on pairs not respected

IDisunifyTerms was not defined for LCons