Add swap Isomorphism and Applicative instances