[feature] DRY ocaml.type

instead of
```
type x = int options "ocaml.type" = "Common.SomeId.t, Common.SomeId.inject, Common.SomeId.project"
```
we could have
```
type x = int options "ocaml.type" = "Common.SomeId.(t, inject, project"
```