OCaml backend: generate body of type declarations