ISSUE: (v1.6.0)支持泛型函数自动推导实例

此前为支持monad语法糖，实现了一版 auto 类型推导，如下所示：

let a = [2];
let b = a
    =>> \e = [e*2];
    ;

由于 auto 类型的推导违背了woolang的设计原则，且并不通用，因此准备对 auto 推导稍作改造并实现泛型函数/标识符作为参数时自动填充泛型参数并得到实例；

如果一个函数声明参数时并未带有类型，则编译器为这个参数自动生成一个泛型类型，即事实上的泛型函数；

不过需要注意的是，此前对于lambda或匿名函数，虽预留了泛型语法，但是并没有提供相关实现支持，此提案需要一并完成；