New semantic analyzer: Support idem forward aliases

This is a follow-up for #6390

This tricky corner case is used in some real code and is supported by old semantic analyzer
```python
C = C
class C:  # type: ignore
    pass

x: C
```
But with new analyzer this results in `Invalid type` since the first definition always wins. Probably we just need to special-case this somehow.