Define a meaningful `fold` definition & implementation

[orxfun]

Notice that the straightforward parallel version of fold does not seem to be worth implementing since it is nothing but reduce().unwrap_or().