Fix constructor names in Typedast printing.

Simply correct all the strings. Most of it is s/P/T/.