Several small fixes and a rule update!

- Defined some previously undefined variables.
- Fixed several typos.
- Clarified the rules and numbered them.