It seems a lot of things I requested would work fine if this considered whether a list was a list of pairs (for efficiency I think only the first few elements should be checked for the convention, and full checking would happen during processing the list as a map)