I would be happy to see it unreserved for use as an identifier. I'm slightly more hesitant to unreserve it in the specific context of "things that can appear at the start of one item within a trait definition".
1 Like