refactoring: PapillonCore mkRule, expression and plainExpression