Undid the recent reifyE' simplifications.

I inline reifyE to its reifyE' definition and then simplify
reifyE'/evalE, rather than simplifying reifyE/evalE. With this choice, I can
also reifyE'/evalE combinations that come from reifyE in source code and ones
that reifyExpr inserts.