swap two values
Mechanism: helper uses set() (order-insensitive)
