OCaml backend: re-sugar record type definitions
OCaml backend: re-sugar record declarations
OCaml backend: re-sugar field projections
OCaml backend: some more support