类型与内涵