Add initial support for pre-defined rules

[aabounegm]

This pull request adds the foundation for further development by doing the following:

• Defining common types and helper functions for rules
• Improving unit tests format
• Implementing Rules 1 and 6 as examples (Implement pre-defined rules from Yegor's paper #4)

One issue identified with rule 1 is that it treats the top-level program as an object and adds ν to it.

---

PR-Codex overview

Focus of this PR

This PR focuses on adding new rules and improving the normalization process in the EO Phi language.

Detailed summary

• Added new rules for object formation and dispatch.
• Improved the normalization process for objects.
• Updated the syntax and print functions for object head and action.
• Added unit tests for the new rules.
• Made the project compile with -Werror flag.

The following files were skipped due to too many changes: eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs, eo-phi-normalizer/src/Language/EO/Phi.hs, eo-phi-normalizer/src/Language/EO/Phi/Normalize.hs, eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[deemp]

Pls, rebase on master as #7 is merged

[fizruk]

The latest changes introduce a simple nondeterministic rewriting for any given rule set (encoded in Haskell) and rule 6 as example.