I have seen people point out that this confusing discussion can be avoided by accepting that types are purely a static property of terms (not only identifiers a

I have seen people point out that this confusing discussion can be avoided by accepting that types are purely a static property of terms (not only identifiers and literals) in source code, and that what many insist on calling dynamic types are tags, not types.