Document how functions are resolved

[grencez]

First match? Last match? Most specialized? Are all methods disjoint?

Honestly I forget how this works.

[grencez]

Seems like they're tested in order until funcall_fit_P() returns true. So first match. With return types declared, this could be determined more statically.