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