more stuff for printing types