Add an unsized keyword which can be used on traits and trait bounds. It should be feature gated and we might change the keyword later (type has been suggested). We will compute the 'sized'-ness of every type and ensure compatibility of types.
Blocks #12938
Assigned to me.
