Remove the domain finiteness hypothesis for the function CMRA, and put cmra_extend in Type. See merge request FP/iris-coq!118