WIP: Formal Power Series

Formal power series implementation using lazy recursion.
rsolve cannot solve some cases specially the hypergeometric type. 
Ones that are of the form:- ``P * r(k+m) = Q * r(k)``