Append-onlye stores are store where it is possible to read and add new values.
The type for append-only backend stores. The
'a phantom type carries information about the store mutability.
find t k is
Some v if
k is associated to
k is not present in
Write the contents of a value to the store.