WIP: Formal Power Series

Formal power series implementation using lazy recursion.
Why this arbitrary restriction?  Same question for `findgen` and so on.  We should offer a more flexible interface.