Add top-level printing for OCaml types:

   # ocaml_string;;
   - : bytes ocaml typ = char*