Name demangling of types when printing to the console