2nd example added
added chapter about models on OCaml side