品牌类型 Branded type

通过交叉类型添加仅供类型检查的标记，用于区分原本兼容的值。