Swap

Swap two values. Assumes the types are trivially relocatable.