Update 05-types.md