Index of exceptions

This exception can be used to skip an element of a list being processed with rev_map, map, fold_left, and fold_right.