+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
perhaps include one of the `e` as `cause`?