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