Introducing the Satisfies Operator in TypeScript 4.9

The goal of this operator is to ensure that some expression matches some type, but also want to keep the most specific type of that expression for inference purposes.