More optional operators

Rules can be enriched with 4 additional operators: Recursivity, Agreement, Add, and Inherit.



Subsections