Regardless, I recognize myself as the point of failure, but those names do strike me as academia speak, though better than some/many. <shrug>
People describe a type system as “not well-founded” or “unsound” and those are specific jabs at the axioms, and people talk about “system F” or “type erasure” or “reification”. Polymorphism can be “ad-hoc” or “parametric”, and type parameters can be invariant, covariant, and contravariant. It’s just a lot of jargon and I think the main reason it’s not intuitive to people outside the right fields is that the actual concepts are mostly unfamiliar.
The word reified dates back to the 1800s. It isn't the most common word, but it also definitely wasn't invented by the programming language community.