Removed unnecessary defaulted members

The comment description of the copy constructor was wrong; instead of
correcting the description I’ve for now opted to remove the defaulted
members to keep things simple and clean.
There’s also an added test to document the triviality requirement
explicitly.