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