Updated 2013-07-12-the-importance-of-being-typed.md