Какие новые возможности в типизации появились в Python 3.10+ (например, Union, TypeAlias)? Как они упрощают работу с типами в больших проектах?