Target Equation info Equation to evaluate.
Format: t1 = t2.

Set of Equations / Term Rewriting System info Introduce either a Set of Equations:
(VAR ...)(EQUATIONS l1 = r1 ...)
Or a Term Rewriting System:
(VAR ...)(RULES l1 -> r1 ...)

Go!