New semantic analyzer: Refactor handling of is_inferred_def & co

There are several things that hold information about whether a type of variable should be inferred or not:

• RefExpr.is_new_def
• RefExpr.is_inferred_def
• Var.is_ready
• Var.is_inferred
• TypeChecker.is_definition()

Such a variety of things is partially caused by the fact that special definitions like named tuples etc. used to have a Var() to which the lvalue was pointing. With the new analyzer we don't have this, so it would be good to clean-up/refactor the logic around inference after we merge the two analyzers.

See also https://github.com/python/mypy/issues/6453

Không có tệp hoặc bài kiểm thử nào được nêu tên. Hãy bắt đầu bằng việc xem xét RefExpr.is_new_def, RefExpr.is_inferred_def, Var.is_ready, Var.is_inferred và TypeChecker.is_definition() sau khi hợp nhất hai bộ phân tích; hoàn thành có nghĩa là trạng thái suy luận được xử lý nhất quán mà không còn các giả định lỗi thời của Var về các định nghĩa đặc biệt.