Adding times is semantic nonsense. It's irrelevant how this relates to Abelian monoids. Mathematically beautiful form is not a virtue if it just creates bizarre and confusing interfaces.

edit: last Tuesday, 5:00pm + Christmas two years ago at noon = ???