[red-knot] No error when using some `types` symbols without importing them

Red Knot does not raise any errors when using some symbols from `types` without importing them. I haven't done an exhaustive investigation, but all of these should raise errors:
```py
a: Literal[2] =   # no error here
b: Any = 2  # no error here
c: Never = 3
d: Annotated[int, "…"] = 2
e: Union[int, str] = 2
```