UDA for "magic annotations" like OnParameter, that should be filtered out when retrieving target annotations
Strictly documentational UDA; totally ignored by a framework, but defines how the "magic" annotation would be used.
If this annotation is present on another annotation, the annotated one cannot be subject of Implies!(...).
These are core annotations for the whole framework. To avoid recursive checks, they are not annotated with constraints, but supported usage is documented with annotations in doc comments.