Scope of types

Types should be limited to file scope or application scope in my opinion, since it is a rare case that only one method (function) acts on a type (that is then in function scope).
Don't redefine types in file scope, use common header files instead.