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