mypy

Allow slice syntax in e.g. `Annotated[int, 1:3]` and `TensorType["batch":..., float]`

#11345

Merged