I've always wanted to add apples and oranges, just to prove it can be done. After some thought I realized it's done all the time. If I rename apples x and oranges y then x + y is simply the expression x + y.
This algebra system in Smalltalk looks interesting - it reminds me of ROE, but modelling numeric algebra instead of the relational kind.