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.

Beginne mit den reveal_type-Beispielen und der vorgeschlagenen _SUPPORTED_LITERAL_OPERATIONS-Zuordnung. Verfolge, wie mypy Ausdrücke auswertet und Literal-Typen darstellt, und ergänze Abdeckung für die aufgeführten int-, str- und bool-Operationen. Erledigt ist es, wenn die unterstützten Ausdrücke die erwarteten Literal-Werte offenlegen, während die Division float bleibt.