[spec] conceptual foundation and glossary entries for variance

Currently the section on variance says:

A longer introduction to these concepts can be found on Wikipedia and in PEP 483; here we just show how to control a type checker’s behavior.

Now that we have a core concepts section in the spec, it would be good for the spec to also derive the rationale for variance from those core concepts, rather than deferring to the (ten-year-old and not updatable) PEP 483.

We should also add glossary entries for variance terminology: invariant, covariant, contravariant, and variance.

Bắt đầu với phần về phương sai trong đặc tả và phần hiện có về các khái niệm cốt lõi, sau đó so sánh cơ sở lý luận trong PEP 483 và bài viết Wikipedia được liên kết. Công việc được hoàn tất khi phần về phương sai suy ra cơ sở lý luận từ các khái niệm cốt lõi và bảng chú giải định nghĩa invariant, covariant, contravariant và variance.