[Enhancement] Improve fun type matching

Nadie ha tomado este issue todavía.

```lua
---@class Class
---@field f fun(s: string): integer

---@param f fun(x: string): integer
local function handle(f)
return f("string")
end

-----

---@param i number
---@return boolean
local function is_positive(i)
return i >= 0
end

handle(is_positive) -- expect `param-type-mismatch`

---@type Class
local _ = { f = is_positive } -- expect `assign-type-mismatch`
```

Expected warning:
Type `fun(i: number):boolean` cannot match `fun(x: string):integer`

I didn't find duplicates, although I expected them
maybe I didn't search well

Comienza reproduciendo el fragmento de Lua del issue y siguiendo el recorrido de coincidencia de tipos de función utilizado para las comprobaciones de llamadas y asignaciones. Se considera terminado cuando ambas incompatibilidades producen las advertencias esperadas `param-type-mismatch` y `assign-type-mismatch`, incluidos los tipos de función informados.

Escrito por el modelo de indexación a partir del texto del issue.