Lifting Of Operations In Modular Monadic Semantics