NavigableArraySet seems to be done. Covered by averange tests. Review needed.