add base type to the is_mere_relation notation, close #586
Merge pull request #590 from mikeshulman/mererel

add base type to the is_mere_relation notation, close #586
PathSplit maps as another variety of equivalence
Use pointwise pathsplitness in reflective subuniverses
build repleteness into UnitSubuniverses