New TermInterface.jl 0.5

[0x0f0f0f]

Change target branch to ale/3.0 after CI green

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 85.18851% with 165 lines in your changes are missing coverage. Please review.

Project coverage is 75.59%. Comparing base (a8331d6) to head (2b177d2). Report is 529 commits behind head on master.

Files	Patch %	Lines
src/EGraphs/egraph.jl	80.88%	43 Missing :warning:
src/utils.jl	6.25%	30 Missing :warning:
src/matchers.jl	44.73%	21 Missing :warning:
src/Patterns.jl	64.58%	17 Missing :warning:
src/Syntax.jl	85.58%	16 Missing :warning:
src/EGraphs/saturation.jl	95.13%	7 Missing :warning:
ext/Plotting.jl	0.00%	6 Missing :warning:
src/Rewriters.jl	53.84%	6 Missing :warning:
src/ematch_compiler.jl	95.83%	6 Missing :warning:
src/Metatheory.jl	81.81%	4 Missing :warning:
... and 5 more

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #212 +/- ## ========================================== + Coverage 69.17% 75.59% +6.41% ========================================== Files 16 20 +4 Lines 1353 1524 +171 ========================================== + Hits 936 1152 +216 + Misses 417 372 -45 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[github-actions[bot]]

Benchmark Results

	egg-sym	egg-cust	MT@2b177d21815...	MT@master	egg-sym/MT@2b1...	egg-cust/MT@2b...	MT@master/MT@2...
egraph_addexpr	1.45 ms		5.17 ms	15.6 ms	0.28		3.01
basic_maths_simpl2	17 ms	5.16 ms	19.5 ms	1.05e+03 ms	0.875	0.265	54.1
prop_logic_freges_theorem	2.66 ms	1.56 ms	2.31 ms	39.1 ms	1.15	0.675	16.9
calc_logic_demorgan	66.4 μs	34.1 μs	88.3 μs	561 μs	0.752	0.386	6.36
calc_logic_freges_theorem	23.1 ms	11.6 ms	36.2 ms	3.7e+03 ms	0.638	0.321	102
basic_maths_simpl1	6.73 ms	2.83 ms	5.48 ms	56.8 ms	1.23	0.517	10.4
egraph_constructor	0.0852 μs		0.672 μs	0.611 μs	0.127		0.909
prop_logic_prove1	37 ms	13.5 ms	38.9 ms	8.9e+03 ms	0.95	0.347	229
prop_logic_demorgan	85.5 μs	44.3 μs	102 μs	802 μs	0.836	0.433	7.84
while_superinterpreter_while_10			17.8 ms	98.4 ms			5.52
prop_logic_rewrite			122 μs	122 μs			0.997
time_to_load			71.2 ms	104 ms			1.46

Benchmark Plots

A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR. Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).