use all usages within class (or within __init__) to infer type, not just initial assignment

### Describe the Bug

```py
class A:
    a = 1
    def f(self):
        self.a = "a"  # error, expect no error
```

here `a` is `int`, but if we look at all usages in the class then we can infer a much better type

