Improved on checking for redeclarations. This change recognizes when 'redeclarations' of types is ok when it is done within a tighter scope.