Automatic derivation function param type

[fesily]

#2479
Deriving local functions only
Never derive cross-file calls

[sumneko]

此PR合并后项目产生了很多警告。
主要是2个问题：

1. 没有考虑一个函数被多次调用的情况，导致无法推测联合类型
2. 函数本来支持更加宽泛的类型，但是由于调用处使用了一个具体的类型，导致出现警告

local function f1(a) -- 这里被推测为 intger
end

f1(1)
f1(true)

local function f2(anyTable) -- 这里被推测为 iolib
    if anyTable.xxx then -- 警告：iolib 不存在字段 xxx
    end
end

f2(io)

因此我先将此PR撤销了。

另外其他PR也引入了一些警告，以后提PR时需要注意把项目的警告清0。