+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
Absolutely, a great way to set the stage; now I’m hooked and compelled to read the implementation :-)