Use Kleisli in definition of Traversal and Optional, rename setF, modifyF, lift and multiLift