nicer Demangler for named_object<T>