WIP: Formal Power Series

Formal power series implementation using lazy recursion.
Do we need this?  Why?  Why this is not a boolean?