Mark `memo` optional in `reduce` and describe.

The `memo` parameter of `reduce` is optional, but it was not marked as such. No description was given as to its behavior when omitted.