Fix warnings for unimplemented Copy traits

Types that can implement Copy now warn when they don't. Added deriving directives.