Answer UnionType comparisons from an identity-keyed FiniteTypeSet instead of scanning every member
#5610
| Job | Run time |
|---|---|
| 34s | |
| 28s | |
| 19s | |
| 27s | |
| 1m 48s |