add jive.Set, implemented as red-black-tree