Only check free *atom* names when inferring table literals.
Only check free *atom* names when inferring table literals.

The name of the `Ix` data def appears in table types now, which was causing
failures. We might eventually need to extend this to only checking free local
names or something.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang