Printing type definitions