Validation in ocaml::sig?

[Lupus]

Would be nice of ocaml::sig performed some validation on the signatures provided, like: make sure number of constructors or struct fields match, or number of arguments for a function. One step further would be to check if trivial types are encoded correctly in ocaml::sig specification by the user (like those listed in type conversion table). If that's relative easy to do - would greatly reduce the space for typos.

Ideally no hand-annotations should be necessary and corresponding OCaml types should be fully inferred by the shapes and names of Rust types. Not sure if that's feasible though or how complex is it to implement if it is.