Revert "Merge branch 'robbert/sprop' into 'master'"

This reverts merge request !309
2 jobs for !322 with revert-8dbccce2 in 4 minutes and 39 seconds (queued for 9 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #142822
fp

00:04:39

passed build-coq.8.13.2-mr #142821
fp

00:04:19