WIP: Formal Power Series

Formal power series implementation using lazy recursion.
as above:
https://github.com/sympy/sympy/pull/7618/files#discussion_r16007083

probably, we should use `findgen(function, x)` interface instead.  And the second argument can be optional.