底层类型 Underlying type

从命名类型声明递归追溯得到的非命名类型，用于可赋值性和约束规则。