use more primitive projections in cmra.v
This enables primitive projections globally in the cmra.v file (similar to what we already do for ofe.v). But then it has to be selectively disabled again for some records since otherwise things break...
This enables primitive projections globally in the cmra.v file (similar to what we already do for ofe.v). But then it has to be selectively disabled again for some records since otherwise things break...