Rules
This structure is used when defining the right rule for a variable.
This is used when creating a RightRule.
RightRule
Rules types.