Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-Effect System Semantics