Add Ocamldoc comments for some library modules

Depends on #467.