here. Some of this may have been poorly rebased, though I tried to be careful and preserve the spirit of the test.
specialized to closures, and invoke them as soon as we know the closure kind. I thought initially we would need a fixed-point inference algorithm but it appears I was mistaken, so we can do this.