Complete constant folding
Add sub-expression removal