unify lift between all of the transformers all liftT methods

[kailuowang]

e.g .EitherT.right, OptionT.liftF, StateT.lift, Free.liftF, WriterT.valueT, Kleisli.lift.
Per conversation here https://gitter.im/typelevel/cats?at=591c9cb564a70be11ad2eb79
also we can consider provide FunctionK version, which is easier to compose. e.g.

def liftFK[F[_], S]: F ~> StateT[F, S, ?] =
    λ[F ~> State[F, S, ?]](StateT.lift(_))

[wedens]

with MonadTrans such function can be generalized to def liftTTrans[F[_]: Monad, G[_[_], _]: MonadTrans] = λ[F ~> G[F, ?]](_.liftT[G])

[kailuowang]

per conversation here we might want to wait for cats-mtl

[edmundnoble]

Also we need transform(trans: F ~> G), only half the transformers have it and some of them have a transform which does something entirely different.

[LukaJCB]

This should be done with #2033 and #2000 :)