缠论分型