Draft: Explicit export lists for Main

[noughtmare]

Lack of explicit export list can degrade performance. The Main module in particular should always have an explicit export list that contains just the main function.

Fixes #9889

---

Template Α: This PR modifies cabal behaviour

Include the following checklist in your PR:

• Patches conform to the coding conventions.
• Any changes that could be relevant to users have been recorded in the changelog.
• The documentation has been updated, if necessary.
• Manual QA notes have been included.
• Tests have been added. (Ask for help if you don’t know how to write them! Ask for an exemption if tests are too complex for too little coverage!)

[ulysses4ever]

Thanks!