域类型允许在既有底层类型之上附加全局 CHECK 检查约束。