WIP: Formal Power Series

Formal power series implementation using lazy recursion.