Programs are now equated with lists rather than sets as we need to be
able to equate them with Leibniz equality for the reification.