+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
Ah, this would be a valuable comment to add.