Made print_type_ref print letters

(this is a really dumb hack, used only for debugging purposes)