Add rewriter to solve arithmetic expressions using literals
Add rewriter for naming pattern elements
Add rewriter for normalizing match predicates