Proposal: Support tuple[T, N] syntax for fixed-length homogeneous tuples

[exprator-python]

Currently, typing a fixed-length tuple of the same type in Python requires repeating the type multiple times:

from typing import Tuple
Tuple[int, int, int, int]
This becomes verbose for lengths like 8 or 10.

Proposal

Support syntax:

tuple[int, 8]

[sobolevn]

This proposal potentially blocks dropping exlicit Literal type. There will be no difference in syntax tuple[int, 8] and tuple[int, Literal[8]]

[brianschubert]

Linking #786 for previous discussion