+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
If I, the user, get this exception, how do I know what to do to fix it?