pop_last l removes the last element from the list

apply_until f l applies f ei until it returns Some x

If the end of the list is reached without f returning Some _ then None is returned.

filter_map f l returns the list of element x for which f returned Some x. The length of the returned list will be less or equal than the length of the input list l.