Documentation effort

This commit provides a lot of documentation, as well as
fixes in the generators.