Fix var type inference2

Giving it another try.
Why did you have to change this rule?  What you want here is `Es:Exps`, and the sort inferencer should figure it out.  Doesn't it work yet?  If not, then at least you should put some comment that this is temporary.