Reorganized the abstract tree.

Compressed EXPR subtrees when the expr is linear.
Qualified all expressions and put the operation as the root of the
subtree.