Weaken some constraints with ocamlnet

See #867