Fixed the problem in addRange! It turned out that the original OCaml code contained an integer rollover bug (i.e., it should have used the safe_ versions of pred and succ).
Fixed copy-paste error in DeleteMin.