1333.3 타입 체계 정의: 로봇, 위치, 음료, 테이블 (Type System Definition: Robot, Location, Beverage, Table)