Added discussion of 'main' definition to declarations section, as well as other types to type specifier section.