Literal type math

I am working on feature where reveal_type(1 + 2) will reveal Literal[3].

Types that I want to support:

• int
• str
• bool

And these operations:

_SUPPORTED_LITERAL_OPERATIONS: Final = {
    int: ('+', '-', '*', '//'),  # `/` returns `float`
    str: ('+',),
    bool: ('and', 'or'),
}

So, True or False is revealed as Literal[True].

I will finish some test later today and send a PR in the morning.

Parte de los ejemplos de reveal_type y de la asignación _SUPPORTED_LITERAL_OPERATIONS propuesta. Rastrea cómo mypy evalúa las expresiones y representa los tipos Literal, y añade cobertura para las operaciones int, str y bool indicadas. Se considera terminado cuando las expresiones compatibles revelen los valores Literal esperados, mientras que la división siga siendo float.