make Import example more complex
make the ImportDeclaration type checker update the env properly