In grammar specifications, separation is made
between semantic rules (inside {{ }}) and
precedence information. Semantic rules a la Bison
with semantic arguments were implemented: E -> E +
T {{ "Sum($0,$2)"}}. Handling of some exceptions
in LRparser was corrected.