Prevent Send, Freeze, and Sized from being manually implemented. Close #8517.
Allow traits to use builtin kinds as supertraits for #7083.
Add tests for #7083.