Constant-fold reduce.
Move pretty much all the constant-folding machinery into simplifier.