Proposal to add 'is_swappable' and 'is_nothrow_swappable' traits to the C++ standard