+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
perhaps inline this with the above `val`, since it is only used there