There are still some TODOs (so, this is only a partial commit):
- Implementation of association rule 3 and simple algebraic rules (to be added to file algebraic.ts)
described in comments of issue: #435
- Processing of structs, function calls, id lookups, ternary conditional operator.
- Extensive documentation, specially in the description of what each rule does.
- Extensive testing of the rewrite rules.

…Priorities are no longer a property of rules, but are managed by the optimizer.

…ded a function to call the partial evaluator in the interpreter to ease testing.

…-lang/tact/pull/528/files#r1666596822)

- Added `dummySrcInfo` as default parameter values to functions `__evalUnaryOp` and `__evalBinaryOp`. This way I was able to eliminate them and simply leave `evalUnaryOp` and `evalBinaryOp` as exportable functions. (https://github.com/tact-lang/tact/pull/528/files#r1666598821)
- Renamed ValueExpression for AstValue (https://github.com/tact-lang/tact/pull/528/files#r1666602072)
- Used Dummy interval in grammar.ts (https://github.com/tact-lang/tact/pull/528/files#r1666602072)
- Changed interfaces for abstract classes (https://github.com/tact-lang/tact/pull/528/files#r1666604615)
- Renamed `areEqualExpressions` to `eqExpressions`, and moved it to `ast.ts`. Used `eqNames` and moved `ast1.kind === ast2.kind` check before switch. (https://github.com/tact-lang/tact/pull/528/files#r1666609433)

- Added test cases for eqExpressions function in ast.ts.
- Changed if statement for conditional expressions in optimizer/util.ts.
- Changed lookupID for lookupName and evalX for fullyEvalX in constEval.ts.

- Moved AstValue to ast.ts.
- Removed try/catch from eqExpressions in ast.ts.
- Removed `traverse` from ast.ts since it has been already moved to iterators.ts
- Moved expr-equality.spec.ts and partial-eval.spec.ts to src/grammar/test
- Added test cases for `isValue' function in ast.ts in src/grammar/test/expr-is-value.spec.ts.