Typing with `|` instead of `Union`/`Optional`

• int | str is the shorthand of Union[int, str]. Using that shorthand is recommended, so we can replace all Union by |
• int | None is equivalent to Optional[int]. So we can also replace all Optional by |