Update 2013-12-05-Typing.md