Какие особенности `X | None` делают его предпочтительным или нежелательным в контексте работы с типами в больших проектах с использованием инструментов статической типизации?