Brought OCaml up to speed, made Makefile adaptive, and did a final pass over the comments