Update the "Exported names" section

[Tetralux]

• Remove old mention of underscore prefixes on names causing them not to be exported. (Which no longer works, and was superceded by private.)
• Clarify all decls are exported by default.
• Mention @(private="file")
• Mention that @(private) is equivalent to @(private="package").