Open
Description
Idea: make store ops more high level.
Purpose: Then we can afford to box the ops, and we can do a BoxedStore, which in the long term means that the Blobs protocol no longer needs a store type parameter. Also, we might be able to move the LocalPool into the file store.
The downside is that there is less code sharing between the mem and the file store, and writing a primitive mem store becomes more complex because we have to provide high level ops. But I think it is probably worth it just for getting rid of the type parameter.