TypeScript 2, control del flujo basado en análisis de tipos