feat: Remove Type eliminates to any sort by default#21453

TDiazT wants to merge 2 commits intorocq-prover:masterrocq-prover/rocq:masterfrom

TDiazT:remove-type-to-sortsTDiazT/coq:remove-type-to-sortsCopy head branch name to clipboard