В поисках совершенных абстракций

namespace Arithmetic
{
    // Операция сложения
    template<typename TSequence> class IAddition
    {
    public:
        // Сложение (объектное)
        // arg addend="добавляемое"
        // return "сумма"
        virtual TSequence& Addition(const TSequence& addend) const = 0;
        // Оператор сложения
        // arg addend="добавляемое"
        // return "сумма"
        virtual TSequence& operator+(const TSequence& addend) const = 0;
        // Сложение (статическое)
        // arg augend="увеличиваемое"
        // arg addend="добавляемое"
        // return "сумма"
        static TSequence& Addition(const TSequence& augend, const TSequence& addend);
    };
}

namespace Arithmetic
{
    // Операция сложения
    template<typename TSequence> class Addition
    {
    public:
        // Сумма (объектная)
        // arg addend="добавляемое"
        // return "сумма"
        virtual TSequence& Sum(const TSequence& addend) const = 0;
        // Оператор сложения
        // arg addend="добавляемое"
        // return "сумма"
        virtual TSequence& operator+(const TSequence& addend) const = 0;
        // Сумма (статическая)
        // arg augend="увеличиваемое"
        // arg addend="добавляемое"
        // return "сумма"
        static TSequence& Sum(const TSequence& augend, const TSequence& addend);
    };
}
 
namespace Arithmetic
{
    // Операция вычитания
    template<typename TSequence> class Subtraction
    {
    public:
        // Разность (объектная)
        // arg subtrahend="вычитаемое"
        // return "???"
        virtual TSequence& Difference(const TSequence& subtrahend) const = 0;
        // Оператор вычитания
        // arg subtrahend="вычитаемое"
        // return "разность"
        virtual TSequence& operator-(const TSequence& subtrahend) const = 0;
        // Разность (статическая)
        // arg minuend="уменьшаемое"
        // arg subtrahend="вычитаемое"
        // return "разность"
        static TSequence& Difference(const TSequence& minuend, const TSequence& subtrahend);
    };
}