more lists exercises from sf, and a lemma on fold_left