+str: Implement efficient stream op DSL

Explanation in the doc comment for Interpreter
WDYM? Don't call push if you are in the holding state, you must call pushAndPull. What information do you miss here?