Updated algorithms for fold, and all_of