Add production operator==