Turn EvTerm (almost) into CoreExpr (#14691)