Fix: Making pa_sexp_conv compatible with the record disambiguation feature in OCaml 4.01

Currently, pa_sexp_conv doesn't handle a case like this correctly:
```ocaml
type a = { fl: float } and b = { fl: int } with sexp
```

The provided fix involves generating additional type annotations.
It's been used in production for 3 months with no problems whatsoever.