Boxed types in OCaml, and other thoughts