changes in module List2 and Seq

- function Seq.foldl_while redefined
- new functions Seq.map_foldl_while, List2.replace_assoc, List2.assoc_foldl