Improve the documentation for Signal.foldp