add example usage of records and variants in OCaml