Added link to optional-typing article.