Bug fixes in operator precedence rewriting for deeper cases. There are still problems with copying