Weaken some constraints with ocamlnet
Merge pull request #1610 from samoht/ocamlnet

Weaken some constraints with ocamlnet