재고 입고, 예약, 판매, 취소 연산을 차례로 처리하는 Swift 재고 관리 시스템을 설계합니다. 재고 수량의 불변식은 어떤 도메인 타입으로 지키겠습니까?