Get rid of future-coercion-class-field warnings

iris/algebra/cmra.v

iris/algebra/monoid.v

iris/algebra/ofe.v

iris/algebra/proofmode_classes.v

iris/bi/embedding.v

iris/bi/extensions.v

iris/bi/internal_eq.v

iris/bi/lib/cmra.v

iris/bi/plainly.v

iris/bi/updates.v

iris/program_logic/ownp.v

iris/program_logic/weakestpre.v

iris/proofmode/classes.v

iris/proofmode/classes_make.v

iris_deprecated/base_logic/auth.v

iris_deprecated/base_logic/sts.v

iris_heap_lang/adequacy.v

iris_heap_lang/lib/atomic_heap.v

iris_heap_lang/lib/lock.v

iris_heap_lang/lib/rw_lock.v