Add some stuff to ordered sets.

Including a definition of oset which converts lists to sets.