Provide multiple types of state stores

[fpacifici]

In the first iteration of the reduce primitive we provided a single basic store. This digs more in depth:

1. What is the abstraction? Do we focus on key value store only ?
2. What is the watermark and snapshot abstraction ?
3. How do we deal with accumulators that cannot keep track of snapshots (like the billing counter in postgres)