chore(logic/equiv/basic): Generalize Type to Sort (#18543)
This backports a change that was already made in mathlib4.
Indeed, mathport complains that the change was made, see the comments in https://github.com/leanprover-community/mathlib3port/blob/e3a205b1f51e409563e9e4294f41dd4df61f578a/Mathbin/Logic/Equiv/Basic.lean#L1729-L1735
By backporting this, we can deal with the fallout up-front rather than during porting.
