Replace infix, postfix and prefix function expressions with unique AST objects
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