Proposal: Performance improvements for Data.Set