Strong Normalization for All-style Lk Tq