Fixing compilation on OCaml 4.01.
Adding a canary library. This canary is imperfect. It allows serialization
(hopefully), and forbids generic equality. Still, it allows generic hash.