Whats the idiomatic way to check if an identifier has a specific UDA attached to it. Also what should I use to define a UDA that doesn't need to carry any data? Just an empty template? Or does something else make more sense?