Model loader #1564: Overloaded method missing from completion

I now mark overloaded methods as overloaded even if they are not overloaded in the same type,
but overload something inherited. This does not necessarily create a new abstraction, but
it's enough to make the typechecker stop ignoring inherited overloading.
TEst for #1564: Overloaded method missing from completion