On the universality of $S_n$-equivariant $k$-body gates