Update 03-data-types.tex