OCaml backend: some more support