+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
this needs to be fixed in BatchingInputBuffer as well since this is copy-pasted from there