Added ocamldoc, and fixed bugs.