Actually let's move away those monsters from the evaluate function

ev() should do a single thing — evaluate constant expressions.  if that's
not possible, just return the original node.  it's not the best place for
partial evaluation there, instead doing it in the compress functions.
More attempts to determine when addition is associative

Somebody hit me with bug reports on this. :)

Refs #300