Implemented XeqY constraint
Started with XplusYeqZ
Implemented removeDomain in fdv. Started writing tests
Added removeDomain and removeComplement. Used those to fix XeqY notSatisfied function