Lots of changes.

Flatten mapper.
Let mappers deal with objects they know nothing about in a
  structured way.
Small fixes to expand mapper.
Stringifier knows when to parenthesize (-1).
Expression sums optimized.