Added half-adjoint equivalences and equivalence to is-equiv