traits: added is_fully_copyable and is_fully_moveable; rejiggered tests.