bump to Coq 8.18

See merge request !33

This reverts commit 4243284b.
Robbert's previous commit should make this 8.18-compatible.

The new proof avoids `setoid_rewrite` and is just as good, so no need to revert once Coq is fixed.