Global object matching

[aabounegm]

Adds context to a rule that specifies if global object (Φ) or current object (ξ) should be matched and substituted immediately in pattern and result.

Closes #57

---

PR-Codex overview

Focus of this PR:

This PR introduces new rules and updates existing code in the EO Phi Normalizer.

Detailed summary:

• Added a new rule named "Rule 4" with a Φ-dispatch pattern and result.
• Updated the description and context of "Rule 4".
• Removed "Rule 5" and its description.
• Updated the context and pattern of "Rule 5".
• Added a new rule context type named "RuleContext".
• Updated the convertRule function to handle rule contexts.
• Added a new function matchContext to match rule contexts.
• Added a new function extendContextWith to extend the context with an object.
• Updated the withSubObject function to include the context.
• Updated the withSubObjectBindings function to include the context.
• Updated the withSubObjectBinding function to include the context.
• Added a new function progToObj to convert a program to an object.
• Updated the convertRule function to use progToObj.
• Added imports and language extensions as needed.

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

[fizruk]

Please, fix CI and address comments (here or create TODOs).

[aabounegm]

Actually, there is another mistake other than the unused variable, but I couldn't track it down last night. If you run stack test, you will see that head outerFormations fails because outerFormations is empty. I thought it should already be filled by the time this function is called, but seems like not. Any ideas what I'm doing wrong?