Add a clear() method to FoldingSet.