Updated 2013-12-19-designing-with-types.md