Introduce a type for an unknown invariant generic param that behaves strictly

This is the same issue as #1835, which was closed -- the given reason was that object can be used instead of Unknown. However, this is not the case. Consider:

class Foo(tp.Generic[T]):
  def bar(self, x: T) -> T:
    ...

  def baz(...):
    ...

I want a type that represents "Foo with unknown T", which I can call baz on but not bar.

foo: Foo[Unknown] = ...
foo.bar(1)  # type error, int cannot be assigned to Unknown
foo.baz()  # works fine because no T is needed

This doesn't work if I use object:

foo: Foo[object] = ...
foo.bar(1)  # typechecks because int is a subtype of object

Xem xét các ví dụ trong issue này và so sánh chúng với cuộc thảo luận trước đó trong #1835. Xác định hành vi mong muốn đối với một tham số generic không xác định, bao gồm những lệnh gọi nào được chấp nhận hoặc từ chối; issue được hoàn tất khi hành vi typing và hướng triển khai đã được thống nhất.