Refactoring: Introduced a new class hierarchy level for actual operator-operations (add, substract, multiply). These new classes represent what used to be several case discriminations in KnotOperator.resolve().