Operator lifting and optimizations