More functions, experimental foldl-based def of reverse.