I think it's worth tightening up, but with an additional comment in the `type t` ocamldoc to indicate the importance of the `field` qualifier to the novice user.  I'll do that now.