sum() string replacement functions added
tests for sum are satisfied.
more tests for summation.
the first forall() test is passed
can have sums nested in foralls and indices on the rhs