Fix printing of rest argument types in TR

This was a regression that snuck in with pretty printing