TypeScript-те satisfies кілт сөзі не нәрсе? Ол қашан және қалай пайдаланылады?