Add an example of span, a higher order method of List.
Add examples of forall and exists, higher order methods of List.