set of formulas
module Transform to rewrite (sets of) formulas using
term rewriting systems, formula rewriting system, and others