Add counit type.
Add List.of_option.
Change collection locate* to work for absent elements.
Add predecessor and successor functions to collections.