层超类型