Also migrates a handful of usage sites as necessary, and
moves all users of `is_tuple` and co. to `is_struct`.

PiperOrigin-RevId: 322865881