handle equality in desugaring (same equiv call as before)