mypy

959eb761 - Fix aststrip deletion crash (#7543)

Fix aststrip deletion crash (#7543) Only delete from self.type.names if the key is actually in there. I've included one test case that this fixes, though I suspect there are others. Fixes #7238.