feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?]#237