+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
Oh, and `TransitivePullOp ` is-a `DeterministicOp`, which I missed initially, makes sense to me now