ISSUE: 支持lambda表达式/匿名函数自动推导参数类型

func foo(f:(int)=>int)
{
}

foo(\x=x+2;);

不再要求lambda标注类型，而是允许其执行自动类型推导，于pass2执行类型决策；

目前的策略是：无类型标注的类型被临时决定为auto，auto类型的函数将被推迟决断，并被允许执行类似泛型推导的类型决断操作；待类型确定后重新计算 （目前仅准备支持函数参数可以为auto类型，map/array之后再处理）