+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
AFAICS this flag is superfluous: whenever it is set to `true` this boundary will be replaced by the Finished one immediately.