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
Edited by Ralf Jung
This is essentially what I proposed here: https://gitlab.mpi-sws.org/FP/iris-coq/issues/160#note_25217