TypeScript 5.x 심화: 브랜드 타입, 조건부 타입, satisfies 연산자 완벽 활용법