Once again.. TODO: Opetopes and Faces should be on sets, not lists (comparing requires sorting) In theory, we can compare ProdFaces on == just by looking at p1 and p2 SHOULD THERE REALLY BE SORT IN comparing opetopes and faces?