Extend type-checker to use lfun types when checking efun calls with objects.
Currently the type checker resolves typical efun calls with objects to returning mixed, even though it may have knowledge about the object implementing the corresponding lfun(s).
Now that #10033 (closed) has been fixed, we get quite a few warnings due to operators returning mixed.