Fix arithmetic parsing/optimization to be left-associative, as it should be
Document operator associativities.
Debug: also show pre-optimized parse-trees.
Add test-case for proper arithmetic associativity