improve pretty printing of type variables