Of course he would agree. He’d just define the term differently. The devil is in the details.
But, I’d imagine he wouldn’t use the term chareidi, even if he thinks that the only way to be shomer torah umitzvos is to be chareidi. For the same reason I didn’t say I’d hope them to all become dati or chareidi.
Because not every person who identifies as chareidi and is identifiable thereas is a shomer torah umitzvos, and the same is true of dati. (But this much I know, the people who aren’t identifiable as either, and don’t identify as either, are definitely not shomer torah umitzvos.)