Added constant folding transformation. Technically this mixes effect-agnostic dead-code elimination and constant folding