Type context manager exceptions explicitly

[adamtheturtle]

Summary

• replace the variadic object exception tuple with the standard __exit__ parameters
• type the traceback as TracebackType
• remove the workaround that existed only to consume the variadic tuple

Verification

• repository-wide pre-commit and pre-push hooks
• focused context-manager and decorator behavior tests