fix CppTypePrinter