this was unsound for the following reason:
- in WhyML, it is possible to make the difference between Null and (Value Null)
- in OCaml, the two would be the same

fix (and improve) example bag, which was the only use of null.Null so far