WIP: Formal Power Series

Formal power series implementation using lazy recursion.
We can replace last two arguments with r(k) instance (AppliedUndef), like in the rsolve.