Generalization of wedge factorization.
Better names for connected-has-connected-paths.
New path type and refl.