rename list flatten to concat

after some thought, I think they're not actually the same thing: concat will simply concatanate a list of lists together into one list, flatten should flatten as many layers deep of lists as possible. in other words, concat is flatten but only one layer—it's a special case of flatten.