Wrote section on ocaml records and variants