Add liftEitherT to \/ instances.

Implemented as a new EitherTOps class, rather than adding as a function to \/, because doing it there needed to specify all three types (lifted monad, left, right) due to covariant types in \/ and invariant types in EitherT.

Test and compilation check added.
This constraint could be loosened from Monad to Applicative.