I'm less enthralled with another "magic" annotation element name, but I don't have a better idea at the moment either.
Yes, it's too bad one can't define interfaces for annotations. Constraint correctness can still be checked at compile time using an annotation processor or similar, but as you say these annotation member names are somewhat implicit.