Hacker News Reader

> "type identity" (my own term)

Isn't it just called "type certification"? Why create a new term for it?

Because I don't know the actual term, and I wanted to convey the thought and move on.

"common type" is what people usually use.