Evars introduced by Proofview refining are flagged as GoalEvar. For some
reasons, some code depends on it.