dominantType

The kind that accounts for the most observations, or null when nothing was observed.

Note that this is the most common kind, not the only one; typeStability says how dominant it is, and a caller deciding whether a path can be shredded wants both.