Implement + operator for marks and branches