Fixed conceptual problem and bug in SplayIntSet.

Added more comments and simplified the general structure.