Functie die een regel genereert met een Patterns: b.v. toRule[ lhs, rhs] in lhs[x_] -> rhs
Het toepassen van correcte variabele bindingen en het vermijden van omschrijvingen voor tegenstrijdige variabelen in verborgen scopeconstructies