Improve pretty printing for types