added Product/Sum/Rational Numbers and mapReduce algorithm for Product/Sum abstraction