Early terminating folds

- Adds early-terminating left and right folds.
- Renames `destructure` to `uncons`.

Note that unfolds were already early-terminable.