wip -- ConstraintsList: new union, eachExact, exactDependenciesIntersection