Implementing generic sets, and new features for generics.