started implementing inference for lambda parameters(see #624) (commit: 9389053)
lambda expression type inference backwards compatibilitywhen parameter types are given, use precise type for overloadingresolution (commit: 2b827c0)