A not-quite-so-simple Binary Decision Diagrams implementation for OCaml