Update printing of nonrec types