Early terminating folds

Early-terminating left and right folds.