Update to separate constraints in equalities and inequalities
Add intersect and invert tools for sif