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:

• [x] Patches conform to the coding conventions.
• [ ] Any changes that could be relevant to users have been recorded in the changelog.
• [x] 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!)