This reverts merge request !155 (merged) because it's incompatible with Coq ≤8.9.
This will create a new commit in order to revert the existing changes.
