[self type idiom] Added another self-type idiom test. [overloading checker] Implemented overloading checking of inherited dotted methods and functional methods.