Completed adding description to every toplevel module (except the ATD generated ones).
Also added one .mli file and reorganized a little bit how the modules are arranged in the documentation.