Declare attributes on positional record property

[RikkiGibson]

It feels like it should be allowed to apply an attribute to the property associated with a positional record parameter. e.g.

// implicitly applies attribute to both parameter and property?
data class Record([MyAttr] string Prop);

or

data class Record([property: MyAttr] string Prop);

We should also consider nullable attributes.