Typos, "did you mean" errors - filter the candidates using type information

[Janiczek]

So, we have this:

It could be nice to only show candidates from the list whose types agree with the usage in source code.

For example, the unknown List.nap is being used as

({a | name : String} -> Html msg) -> List {a | name : String} -> List (Html msg)

which only agrees with List.map ((a -> b) -> List a -> List b).

(Variation: not only filter but also add candidates with compatible types from all currently visible definitions.)