WIP: Formal Power Series

Formal power series implementation using lazy recursion.
here [too](https://github.com/sympy/sympy/pull/7618/files#discussion_r13994803).