Add new lemmas for list, set, and map operations.

Status Job ID Name Coverage
  Build
canceled #39457
fp
build-coq.8.10.dev

canceled #39463
fp
build-coq.8.7.2

canceled #39462
fp-timing
build-coq.8.8.0

canceled #39461
fp
build-coq.8.8.1

canceled #39460
fp
build-coq.8.8.2

canceled #39459
fp-timing
build-coq.8.9.0

canceled #39458
fp
build-coq.8.9.1

canceled #39456
fp
build-coq.dev