[feature] Get the type from a variable

Feature
A similar feature in typescript

const foo: number = 1
type Foo = typeof foo  // type Foo = number

function bar(x: string): void {

}

type Bar = typeof bar // type Bar = (x: string) => void

Pitch
The expected way in future python.
Possible implementation: implement __class_getitem__ for type :

foo: int = 1
Foo = type[foo]  # equivalent to Foo = int

def bar(x: string) -> None :
    ...
Bar = type[bar]  # equivalent to Bar = Callable[[str], None]

No se menciona ningún archivo del repositorio ni ninguna prueba, así que empieza con la referencia de TypeScript sobre typeof-types y la discusión de este issue. Aclara el comportamiento previsto para las variables y las funciones con la sintaxis type[...] propuesta; se considera terminado cuando la semántica de tipado y los requisitos de compatibilidad se hayan acordado lo suficiente como para implementarlos y probarlos.