Part of astral-sh/ty#244, and also #13689. Infer types for slice expressions.

• x[1:3] should be inferred as tuple[str, str] if x has type tuple[int, str, str, int]
• y[1:3] should be inferred as Literal["aa"] if y has type Literal["baab"].