WIP: Formal Power Series

Formal power series implementation using lazy recursion.
Why you can't use rsolve for all cases?