Update typing docs based on a patch by Ivan Levkivskyi (but much rewritten by me).