Yes. the right thing to do is to treat a list as a general case and other uses of cons as special case

I've flipped that idea around in a few of my own language designs, where pairs are the central feature and lists are just pairs with pair cdrs. Works fine from what I can see.