Folding and rewriting of ASTs
Add rewriter for naming pattern elements
Add rewriter for normalizing match predicates