`scopes_and_types` should update all `Undetermined` types

[vluzko]

• In method accesses, there's a self(undetermined) type that should have the undetermined type filled in