Full implementation of liftings.
Restored a few operation tests.