swap package:Agda

Swap the components of a pair.
This swaps var 0 and var 1.
Swap tags Left and Right.