Narrowing

Also written: narrow, narrows, narrowed

Making TypeScript's idea of a value's type more specific after a check, such as `typeof`, `in`, `===` or a type guard.