makeHull - construct transitive hull over a relation (MultiMap)