Add examples of forall and exists, higher order methods of List.