Very insightful article, thank you for the link.
The terminology's shifted a bit from then and now e.g. what's referred to as "typed propagation" in the article is what we already have (and sometime call "untyped throws"), and the currently discussed typed throws correspond to "Error Types" in the article.