Folding and rewriting of ASTs
Add rewriter for naming pattern elements
Add rewriter for normalizing match predicates
Add rewriter to solve arithmetic expressions using literals