+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
see my comment below. Look at the InterpreterStressSpec to see cases which do not explode (in the tests the overflow-to-heap feature is usually disabled so I can detect stack leaking bugs). For example a long chain of filter/map is constant stack independently of lenght (just like the old pinball)