Handle parens in annotations properly

[coord-e]

This PR enables usage of parenthesis in logical formula annotations

[Copilot]

Pull Request Overview

This PR enables proper handling of parentheses in logical formula annotations by restructuring the parser to support both formulas and terms in a unified parsing approach.

• Introduces a unified FormulaOrTerm enum that can represent either formulas or terms with ambiguous binary operations
• Refactors the parser to use operator precedence parsing with separate precedence levels for different operators
• Adds support for parentheses in logical expressions by allowing formulas and terms to be parsed within parenthetical expressions

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File	Description
tests/ui/pass/annot.rs	Adds test case demonstrating parentheses usage in logical formula annotations
tests/ui/fail/annot.rs	Adds test case showing invalid formula that should fail verification
src/annot.rs	Major parser refactoring to support unified formula/term parsing with proper precedence handling

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}