Add Operator conversion, tail and update liftExample2