Fix wrong types for anonymous class instantiation.
Fix missing type rules for other kinds of method invocation.
Fix resolution expression and super method calls.
Fix conformance check of methods inside anonymous classes.