If you want to peer into an alternative reality / funhouse mirror of programming terms, you should look at ALGOL 68. For instance, types are called "modes".

https://jemarch.net/a68-jargon/

(There are also "incestuous unions", which is the actual term used in the spec.)

From the docs, an incestuous union is the equivalent of a packed union in C? Well, you gotta be packing' to be incestuous :D