OCaml 99: binary tree