Use flat_set builder to create new valuations.