Fixed method lookup by externalizing the algorithm. This additionally allows for more efficient strategies when the looked up methods are known.
Added proper support for super method calls in the presence of interfaces with default methods.