Update 2013-09-10-type-systems-and-ux-example.html