Answer UnionType comparisons from an identity-keyed FiniteTypeSet instead of scanning every member

Answer UnionType comparisons from an identity-keyed FiniteTypeSet instead of scanning every member #18700