Swap the factors of a product. swap (a, b) = (b, a)