Describe storage state update process as a scheme

[nobodyisme]

Right now the process of storage elements update is unclear and not easily verifiable.
We need to describe update process more formally. Possibly draw a beautiful picture. Then we can structure the code more clearly.