Check for redefinitions of imports
Add test cases for shadowing failures