Formal series by formula

Earlier FPS design using generator didn't work.
Here is other using formula based on #7618
please remove Stream-related stuff from this branch.