+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
it probably does not change runtime characteristics, but I’d still write the whole computation on one line instead of two