Deep exclusions (a co-constraint use case)
Make the legality of a particular element type depend on the absence of another element type from the stack.
Other use cases: Co-constraint Use Cases
<a> elements cannot appear, at any depth, within other <a> elements.
(Add your analysis here; see your name in pixels!)