Don't use isequiv_adjointify in equiv_sigT_corect

We don't need it.  But I needed to slightly change the destruction of a
sigma type in the recursion principle.