TS included Flow features over the years (control flow based typing, strict null checks, etc.)