Proposal for Explicitly defaulted binary operators