Title: Printing types and ornaments