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