Article: Why TypeScript doesn't have 'throws' types or checked exceptions

## Overview As a precursor to #134 _(Article: Why throwing errors isn't type-safe)_: one of the big reasons why errors aren't type-safe in TS is that TypeScript doesn't have `throws` types or checked exceptions the way Java does. I'll want to have an article explaining that before writing #134.