foldl
foldl : ((x y -> z) y (listof x) -> z)
purpose:
(foldl f base (list x-1 ... x-n)) = (f x-n ... (f x-1 base))
Intermediate Student Language