Using attachments... property for the attachment name?

Sorry to say, no this is not possible in the Attachment trait itself.

It is allowed for references to the Attachment - e.g. in GKCs and GetAttachmentProperty().