Improve annotations for Exception instances #77
Description
Particularly for Python 3, it would be useful to annotate the reference from an Exception to its traceback. At the same time, we might want to improve annotations for the traceback object as well.