greatly simplify DepthSet implementation by inheriting from SortedSet