passes some embedded-set tests; still need to incorporate unify with set-cross-product.
working on unify/set-cross-product integration