[skybrian]

> Like sets, types can be by description have an infinite number of distinct entries

I think they might have meant "entities" instead of "entries?"

The term "diagonal identity" seems to be non-standard as well?

[dec0dedab0de]

I usually say items or members, but entries basically means the same thing, and js set objects have an entries method, so there is precedence.