Fixing #3262 which revealed a non-progressing, hence looping,
refinement of evars (in filter_candidates).

Incidentally introduced a copy of type "option", "update", which
highlights the specific intention of "updating" or not.