Bundle classes for updates, plainly and embeddings
This is essentially what I proposed here: https://gitlab.mpi-sws.org/FP/iris-coq/issues/160#note_25217
This is essentially what I proposed here: https://gitlab.mpi-sws.org/FP/iris-coq/issues/160#note_25217