WIP Notes:

Formed part of work on ocaml#5832, but they were not critical, so were
dropped. Possibly worth considering:
- Removal of unused API functions (because supporting them is effort)
- Use of private records is generally more hygienic (and done elsewhere
  already)