Update 2014-05-13-types.md