Fix grammar

[fizruk]

Closes #94.

• Allow dash in labels.
• Allow $\xi$ and $\Phi$ without dispatch.
• Add test for the term that failed before.

---

PR-Codex overview

Focus of this PR

This PR focuses on refactoring the object dispatch mechanism in the EO Phi language, replacing GlobalDispatch and ThisDispatch with GlobalObject and ThisObject.

Detailed summary

• Replaced GlobalDispatch with GlobalObject in Language.EO.Phi.Syntax.Abs.hs
• Replaced ThisDispatch with ThisObject in Language.EO.Phi.Syntax.Abs.hs
• Updated corresponding functions and patterns in various files

The following files were skipped due to too many changes: eo-phi-normalizer/src/Language/EO/Phi/Syntax/Doc.txt

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