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