Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 iterate_until(Arg1, Arg2, Arg3)

 mid_split_one(Arg1)

 mid_split(Arg1)

 taylor_contractor(Arg1, Arg2)

 taylor_merged_contractor(Arg1, Arg2)

 cf_contractor(Arg1, Arg2)

 lin_minimum(Arg1, Arg2, Arg3)

 lin_maximum(Arg1, Arg2, Arg3)

 lin_minimize(Arg1, Arg2, Arg3)

 lin_maximize(Arg1, Arg2, Arg3)

 local_minima(Arg1)

 local_maxima(Arg1)

 local_minima(Arg1, Arg2)

 local_maxima(Arg1, Arg2)