Remove the signature explanation by grouping to avoid confusion
with signature syntax for function types.
Some information about the need for type annotations in OCaml tutorial.
Add anonymous functions and list map/filter sections to the OCaml tutorial.