类型与内涵/类型