引申类型