Are you trying to covince yourself or is all that directed towards someone in particular?
It seems very sarcastic...
Whatever it was just in answer to Jasu's post, and a part to you ^^.
Convince myself ... hum ...
I don't need to convince myself what a Type is, but I don't like naming a cat, a dog. So types are types, no local, no global, juste Types !
You want call something Global or Local ? Speak about their implentation, but not about their behavior.
I see lot of people having troubles using types, and I don't think this kind of post will help them to understand, if we talk about visibility of variables.