Simplify certain factory signatures in LiftRules

User picture
User picture