Literal for sentinel values

This came up python/typeshed#3521: Currently I can't think of a way to type sentinel values that are often constructed by allowing a certain instance of object as the argument. For the example above it would be useful to be able to do something like this:

class PSS(AsymmetricPadding):
    MAX_LENGTH: ClassVar[object]
    def __init__(self, mgf: MGF1, salt_length: Union[int, Literal[MAX_LENGTH]]) -> None: ...

Alternatively we could add a type like Singleton type to typing:

class PSS(AsymmetricPadding):
    MAX_LENGTH: Singleton
    def __init__(self, mgf: MGF1, salt_length: Union[int, MAX_LENGTH]) -> None: ...

No se han identificado archivos de implementación, pruebas ni puntos de entrada. Empieza revisando la propuesta sobre valores centinela y la discusión de typeshed a la que hace referencia; después, determina qué sintaxis y semántica deberían aceptarse. Para darlo por terminado, se requieren un diseño acordado, así como la implementación y las pruebas correspondientes, pero el issue no define esos detalles.