Introduce `string ocaml' and `float array ocaml` direct-mapping types.