Filling the extra files

There are a couple of extra files, that need to be maintained along with the inline source code comments: <package>.types, <package>-docs.xml (in the past .sgml), <package>-sections.txt.