Merge branch 'ci/robbert/iprop_structures' into 'master'

Let `iProp` refer to `uPred ... : Type` instead of `uPredO ... : ofeT`

See merge request !314
6 jobs for master in 20 minutes and 21 seconds (queued for 5 minutes and 42 seconds)
Status Job ID Name Coverage
  Build
passed #42284
fp
build-coq.8.10.dev

00:12:21

passed #42288
fp
build-coq.8.7.2

00:06:10

passed #42287
fp
build-coq.8.8.2

00:06:07

passed #42286
fp-timing
build-coq.8.9.0

00:05:38

passed #42285
fp
build-coq.8.9.1

00:06:39

passed #42283
fp
build-coq.dev

00:15:06