auto-0.2.0.2: Denotative, locally stateful programming DSL & platform