> Should this call `self.fold_ident(ident)`?

Yes, good catch.