feat: add correctness rule set

[nikku]

Proposed Changes

Proposes the correctness ruleset for all true lovers of BPMN (with execution semantics).

Closes #170

Checklist

To ensure you provided everything we need to look at your PR:

• Brief textual description of the changes present
• Visual demo attached
• Steps to try out present, i.e. using the @bpmn-io/sr tool
• Related issue linked via Closes {LINK_TO_ISSUE} or Related to {LINK_TO_ISSUE}