translate outcome of the rule application into code (possible involving recursive application of rewriting)
(ruleApplication: StringAdd).self
(ruleApplication: StringFormat).self
(ruleApplication: ArrowAssoc[RuleApplication]).x
(Since version 2.10.0) Use leftOfArrow
instead
(ruleApplication: Ensuring[RuleApplication]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
*** Rule Applications ****