Add folds and things that use folds to sets.v