Renaming of Complex and RealType