Minimize #includes in a top-level header.