Interface for “storage protocol” ghost state.
This is an extension-slash-variant on the more well-known concept
of “PCM” ghost state, which we also have an interface for here.
The unique feature of a storage protocol is the ability to use guard
to manipulate shared references of ghost state.