PathSplit maps as another variety of equivalence
Use pointwise pathsplitness in reflective subuniverses
build repleteness into UnitSubuniverses