generalities on nested lists of different sorts; commutativity.

Signed-off-by: jcmckeown <jesse@sockwright>