Printing Types: An Introduction