Isn't the Listable attribute of Plus too narrow minded? I think there should be a NumericListable and NonNumericListable attribute. Otherwise one runs into trouble defining functions which should work for symbolic and list entries. Since right now: (({1, 2} + x) /. x -> {3, 4}) ===
({1, 2} + (x /. x -> {3, 4})) gives False. Which in a larger function can get quickly unnoticed (just happened to me while debugging ...)
({1, 2} + (x /. x -> {3, 4})) gives False. Which in a larger function can get quickly unnoticed (just happened to me while debugging ...)