Track exports in exception tracing modules

[robrix]

• [x] Depends on #668.
• [x] Generalizes functions & applications to 0-arity.
• [x] Adds exports to the module.
• [x] Connects the exports to their respective exception sets.

[robrix]

@github/semantic-code: Ready for review!

[robrix]

@patrickt: back to you 🙇🏻‍♂️