Going back to original way of doing non-recursive equality by default. Realized
this is the one true path once I started writing tests for recursive set equality,
which won't work because sets use a notion of equality to determine set membership,
which is then in turn used to determine set equality.