Rename 2013-07-12-the-importance-of-being-typed.md to 2013-09-22-the-importance-of-being-typed.md