The attached paper was published in CPP 2022 and seems to report an implementation of the types-to-sets mechanism that’s actually usable. Shouldn’t we be trying to take this forward? https://dl.acm.org/doi/pdf/10.1145/3497775.3503674 Larry