Какие особенности `X | None` делают его предпочтительным или нежелательным в контексте работы с типами в больших проектах с использованием инструментов статической типизации (например, mypy)? Приведите пример, где использование `X | None` вместо `Union[X, None]` может привести к ложным сбоям в типовой проверке.