Result monad. Plus moving from OCamlMakefile to ocamlbuild.