Function that returns a type

I think your posts only serve to confuse.

I personally consider types to be a global collection of objects. The variable which points to an instance in this collection can be local or global.

I honestly couldn't care less whether you agree or not so lets leave it at that.