+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
Is this a bug-condition? If so, should probably articulate that in the error message.