Added repToLift, liftToRep, liftToComposedRep, and composedRepToLift to facilitate working with representable functors.