Renamed implementation; added SkipListSet