+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
Wow, this looks … dangerous; it probably generates quite some nice compiler warnings, I assume. But I have not yet read about which are elided here; perhaps type members could help?