away with "evalWith"

"evalWith" turned out to be less useful than expected, e.g. functions
like "psimplify1" and "nenf'" needed separate definitions, and
explicit definitions are easier to read anyway; so we bid farewell to
"evalWith".