there was a bug in the instantiation of evars: the type of the evar was not getting its universes refreshed