Make [iter] use the equivalence relation instead

The transition was surprisingly easy!