# ApplyRules(Base, R, F)¶

applyRules([r1, ..., rn], expr) applies the rules r1, ..., rn to f an unlimited number of times, i.e. until none of r1, ..., rn is applicable to the expression.
applyRules([r1, ..., rn], expr, n) applies the rules r1, ..., rn to f a most n times.
localUnquote(f, ls) is a local function.