Merge branch 'robbert/rel_disambig' into 'master'

Notations for relations with explicit type arguments

See merge request robbertkrebbers/coq-stdpp!30
7 jobs for master in 24 minutes and 49 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #10371
fp
build-coq.8.6.0

00:08:06

passed #10370
fp
build-coq.8.6.1

00:08:10

passed #10369
fp
build-coq.8.7.0

00:07:00

passed #10368
fp
build-coq.8.7.1

00:07:33

passed #10367
fp-timing
build-coq.8.7.2

00:05:54

passed #10366
fp
build-coq.8.8.dev

00:16:47

passed #10365
fp
build-coq.dev

00:16:39