… different types that most of the time we distinguish just by their having different names 
What I’m saying is that names are important, and your “just so happen to have the same name” is a little unfair.
EDIT: Well, technically the name of types isn’t important either. What matters is their identity. Maybe “nominal typing” is a misnomer. It should be “Identity typing”.