Merge branch 'fix-unnamed-default-name' into 'master'

Set default name for unnamed binders to H

Closes #337

See merge request !484
2 jobs for master in 20 minutes and 48 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #82021
fp
build-stdpp.dev-coq.8.11.2

00:10:26

passed #82022
fp
build-stdpp.dev-coq.dev

00:20:47