Type inference not working in anonymous functions

[brson]

  auto f = fn() {
    auto i = 10;
  };

Cannot determine type for i.

[msullivan]

I'm extending typechecking of anonymous functions to do environment capture. I'll look into this while I'm at it.

[msullivan]

This is fixed by #567.