Beginnings of a rewrite library. Currently you can rewrite a term with a RewriteRule. Variants are also implemented where you can get the variants of a term from a set of rewrite rules.