- keep track of type alias (type T1 T0) so we can print the proper type name

R=r
OCL=13688
CL=13688