в статье же вроде написано что skiplists
я глянул - там не дерево , сбило с толку OrderedSet, но и не совсем skiplist.
они там пилят на корзины (массивы), при вставке находят подходящий диапазон и вставляют в него. но мой поинт был в том, что nif не должен быть большим, поэтому странно тянуть для него целый фреймфорк. а если nif становится слишком толстым, то может уже не ниф нужен.