Describe multi-step agent workflows using an Arrow-style DSL (>>>, ***, &&&, |||, ?, loop, \, let...in, (), ;) with epistemic operator conventions and structural validation