permuted row labels on types table