Python 3.15ではより正確な型チェックが可能に（なる予定）　PEP 800で導入される非交和基底とは？

Python 3.15ではより正確な型チェックが可能に（なる予定）　PEP 800で導入される非交和基底とは？