recursive function

[Roger-luo]

this is from a discussion with Mingsheng; he mentioned that if we can define recursive functions, it will be much simpler to define summation/series over just simple binary operators, which I think makes a lot sense.