Revert commit be40b98b when adopting Coq 8.15+ as the minimum version

As discussed in !184 (merged), it is desirable to undo the 8.13 compat workarounds in be40b98b when we no longer support that version of Coq. For the time being, 8.13 support is required for compatibility with NCCoq.