If the group doesn't accept #875 nor #741, we can at least make it possible for authors to write source that doesn't depend on include orderings. If we allow extern declarations for functions and global variables and global types, each source file can forward-declare everything it uses from a different file.