sets

Making that happen in a language design should involve some subtle shifts in the way data is conceptualized.  That isn’t a digression in a discussion of types, because the way we conceptualize data ha…