Lots additions

* Bifunctor, Bifoldable and Bitraversable instances for Pair and Either
* Field1, Field2, Swapped and Each instances for Pair
* new function "swap" in .Tuple
* Swapped instance for Either
* _Left, _Right, _Just, and _Nothing prisms