Remove the `private` inner modules.

Those are not needed any more since modules visibitity seems to be fixed in the compiler.
Various doc formatting fixes.