Flow type helpers

Nadie ha tomado este issue todavía.

Flow offer some nice type helpers in his recent versions, while some of them are already addressed by typescript, some could perhaps be helpful.
Here are extracted comments from flow source just for inspiration.
- $Either<...T> is the union of types ...T
- $All<...T> is the intersection of types ...T
- $Supertype acts as any over supertypes of T
- $Subtype acts as any over subtypes of T
- $Shape matches the shape of T
- $Diff
- $Enum is the set of keys of T
- $Record is the type of objects whose keys are those of T

No se nombra ningún archivo fuente, prueba ni punto de entrada. Empieza comparando los helpers de Flow indicados con las funciones existentes del sistema de tipos de TypeScript y con la discusión del issue; el trabajo estará terminado cuando se hayan acordado el alcance de los helpers, el comportamiento se haya especificado y existan la implementación y las pruebas correspondientes.

Escrito por el modelo de indexación a partir del texto del issue.