introduce "reduce" expression

Example:
  sum(X) = reduce( a, b in X ) a + b
improve examples