Resolve ambiguities in tree symbol rules.

[ppolesiuk]

Implement resolving ambiguities in tree symbol rules (Transform/ResolveTreeSymbolAmbiguities module). The ambiguities should be resolved by deeper pattern-maching (to look at tags) or combining disjoint tree symbols into one, and then perform deeper pattern-matching.