交付：块里允许遮蔽外层同名

场景：~/sem/checker.py 现在把「块里再 let 一个外层已有的名字」当成重复声明。

任务：让遮蔽合法——块里可以 let 同名（只查当前这一层），块里用的是内层的类型，出了块外层的名字和类型原样恢复；同一层重复 let 仍然是重复声明。写好后运行 ~/check。

可操作范围：只在分给你的这台实验机上操作。可以改家目录里的任何东西，不要动系统目录。检查器用 python3 运行，能一次收多个文件。

提交：只提交那 8 位标记本身（形如 7F3A91C2），不要提交名字或位置，也不要提交说明文字。大小写不限。

⚠️ 提交预算：这次实验最多可以提交错 3 次。用完需要重新开始实验——环境和答案都会变。

完成条件：提交内容与本用户、本次实验环境生成的预期结果一致。