Allow built-in traits to be derived

[RFC #3]

cc #13231