more work on impl of operator precedence parsing