New semantic analyzer: Update type aliases logic

[ilevkivskyi]

The old logic for type aliases will create variables in stead of aliases in case the target is class but it is not ready. An example is:

Text = str

class str(Sequence[str]):
    ...

[JukkaL]

More generally, maybe we should create a PlaceholderNode if the rvalue contains some placeholders.