some fixes to type inference with lambdas
fixed poly lambda inference problem