Revert "Remove the domain finiteness hypothesis for the function CMRA, and put...

Revert "Remove the domain finiteness hypothesis for the function CMRA, and put cmra_extend in Type."

This reverts commit fa897ff5.
4 jobs for master in 13 minutes and 37 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #8632
fp

00:07:22

passed build-coq.8.7.0 #8631
fp

00:03:51

passed build-coq.8.7.1 #8630
fp-timing

00:03:12

passed build-coq.dev #8629
fp

00:10:45