Cache free vars of unsolved inf variable nest while hoisting
Cache free vars of unsolved inf variable nest while hoisting

Otherwise we end up repeatedly querying the free vars, potentially
ending up with a quadratic run-time. Doesn't seem like a big deal on the
one benchmark I'm looking at, but it's not a lot of code, so it's good
ot have it.

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