Merge typing doc updates from larry's branch.