error-san: typed errors without giving up `throw`

TypeScript describes what a function returns, but not what it throws. A familiar function: type...