Fix isortedset to properly de-dupe in a case insensitive way