feat: Make Interpreter/ files modules

[math-fehr]

Multiple definitions no need to be exposed because of this. Additionally, this changed the name of a bv_decide axiom, so many other files had to be changed.

[github-actions]

VeIR Benchmarks

Details

Benchmark suite	Current: 110dc87	Previous: f7ca4b1	Ratio
add-fold-worklist/create	1854000 ns (± 58956)	2270000 ns (± 109893)	0.82
add-fold-worklist/rewrite	3592000 ns (± 46603)	3959000 ns (± 79694)	0.91
add-fold-worklist-local/create	1840000 ns (± 91231)	2335000 ns (± 109468)	0.79
add-fold-worklist-local/rewrite	3296500 ns (± 50237)	3615000 ns (± 35784)	0.91
add-zero-worklist/create	1838000 ns (± 37450)	2322000 ns (± 115582)	0.79
add-zero-worklist/rewrite	2280000 ns (± 49616)	2504500 ns (± 66314)	0.91
add-zero-reuse-worklist/create	1534000 ns (± 72134)	1937500 ns (± 149410)	0.79
add-zero-reuse-worklist/rewrite	1849000 ns (± 51381)	2097000 ns (± 86689)	0.88
mul-two-worklist/create	1873000 ns (± 31547)	2286500 ns (± 188840)	0.82
mul-two-worklist/rewrite	5121000 ns (± 110789)	5517000 ns (± 174801)	0.93
add-fold-forwards/create	1908000 ns (± 58054)	2189000 ns (± 65580)	0.87
add-fold-forwards/rewrite	2671000 ns (± 38337)	2932000 ns (± 32708)	0.91
add-zero-forwards/create	1820000 ns (± 45169)	2326500 ns (± 269790)	0.78
add-zero-forwards/rewrite	1753000 ns (± 28102)	1894500 ns (± 47715)	0.93
add-zero-reuse-forwards/create	1520000 ns (± 56027)	1935500 ns (± 164132)	0.79
add-zero-reuse-forwards/rewrite	1386000 ns (± 53645)	1510000 ns (± 42610)	0.92
mul-two-forwards/create	1857000 ns (± 62151)	2244000 ns (± 80837)	0.83
mul-two-forwards/rewrite	3239000 ns (± 92544)	3622000 ns (± 38591)	0.89
add-zero-reuse-first/create	1531500 ns (± 40990)	2046500 ns (± 201731)	0.75
add-zero-reuse-first/rewrite	10000 ns (± 2193)	9000 ns (± 1893)	1.11
add-zero-lots-of-reuse-first/create	1527000 ns (± 29870)	1975500 ns (± 208057)	0.77
add-zero-lots-of-reuse-first/rewrite	775000 ns (± 32182)	775000 ns (± 26787)	1

This comment was automatically generated by workflow using github-action-benchmark.

[ineol]

!radar