Update types-and-commands.tex