WIP: Formal Power Series

Formal power series implementation using lazy recursion.
rsolve should be able to do this.  If not - we should improve it's algorithms.