Trying to improve ocaml type error messages for beginners