Human languages trade off complexity against efficiency | Synapse