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