名义类型 Nominal typing

依据声明身份判断类型兼容性，而不只比较值所包含成员的类型规则。