Fix var type inference2

Giving it another try.
don't you want `_:>Exp` instead of `_:Exp` to save a runtime check?