Changes to Either

Renamed the TE type parameter to TLeft.
Added wrappers for LiftM4 and LiftM5.