Update 02-types.tex