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