Type inference for lambda expressions.