Can't tell if you mean you think the code already emits candidate types in
alphabetical order; it doesn't: https://screenshot.googleplex.com/QgEw0fbuhR
(Local is H/S/T but Remote is T/S/H)