> my suggestion came across like a cute self-invented gimmick rather than a fundamental concept in programming

Maybe the official handbook could help convince them this isn't the case: https://www.typescriptlang.org/docs/handbook/2/narrowing.htm...