Merge branch 'better-list-countable' into 'master'

More efficient list encoding for Countable

See merge request !62
8 jobs for master in 8 minutes and 43 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #27221
fp
build-coq.8.7.0

00:02:48

passed #27220
fp
build-coq.8.7.1

00:02:48

passed #27219
fp
build-coq.8.7.2

00:02:48

passed #27218
fp-timing
build-coq.8.8.0

00:02:35

passed #27217
fp
build-coq.8.8.1

00:02:56

passed #27216
fp
build-coq.8.8.2

00:02:55

passed #27215
fp-timing
build-coq.8.9.0

00:03:15

passed #27214
fp
build-coq.dev

00:08:01