Allow manual implementations of built-in traits

[RFC #3]

cc #13231
Allow built-in traits to be derived

[RFC #3]

cc #13231