Refactor type hints

[giannissc]

• [x] Optional[T] and Union[T, None] ->T | None
• [x] Tuple[] -> tuple[]
• [x] List[] -> list[]
• [x] Dict[] -> dict[]
• [x] Add type hints to other places as well