Internal: a prototype rewrite composition using Foldable
Internal: the first version of rewrite composition using Foldable
Internal: refactored Rewriter module