refactor: use type tag instead of storing symtype in type

[AayushSabharwal]

No description provided.

[github-actions]

Benchmark Results

	master	077d977...	master / 077d977...
overhead/acrule/a+2	5.84 ± 0.11 μs	0.365 ± 0.058 μs	16 ± 2.6
overhead/acrule/a+2+b	0.0485 ± 0.00092 μs	0.362 ± 0.21 μs	0.134 ± 0.078
overhead/acrule/a+b	9.66 ± 0.35 μs	0.233 ± 0.032 μs	41.4 ± 5.8
overhead/acrule/noop:Int	1.56 ± 0.92 ns	1.55 ± 0.01 ns	1.01 ± 0.59
overhead/acrule/noop:Sym	17.3 ± 0.06 ns	21.8 ± 6.1 ns	0.795 ± 0.22
overhead/get_degrees/large_poly	0.151 ± 0.011 s	0.181 ± 0.0094 s	0.834 ± 0.074
overhead/rule/noop:Int	0.0348 ± 0.024 μs	0.0329 ± 0.025 μs	1.06 ± 1.1
overhead/rule/noop:Sym	0.0338 ± 0.023 μs	31.1 ± 24 ns	1.09 ± 1.1
overhead/rule/noop:Term	0.0344 ± 0.024 μs	31.2 ± 24 ns	1.1 ± 1.1
overhead/ruleset/noop:Int	0.12 ± 0.0082 μs	1.55 ± 0.01 ns	77.4 ± 5.3
overhead/ruleset/noop:Sym	0.123 ± 0.037 μs	0.0691 ± 0.0018 μs	1.78 ± 0.53
overhead/ruleset/noop:Term	4.53 ± 0.63 μs	0.674 ± 0.12 μs	6.72 ± 1.5
overhead/simplify/noop:Int	0.248 ± 0.031 μs	1.55 ± 0.01 ns	159 ± 20
overhead/simplify/noop:Sym	0.259 ± 0.033 μs	13.6 ± 0.021 ns	19.1 ± 2.4
overhead/simplify/noop:Term	0.0962 ± 0.01 ms	10.6 ± 0.36 μs	9.08 ± 0.99
overhead/simplify/randterm (+, *):serial	1.74 ± 0.4 s	0.0365 ± 0.0012 s	47.8 ± 11
overhead/simplify/randterm (+, *):thread	1.29 ± 0.35 s	0.0361 ± 0.011 s	35.7 ± 15
overhead/simplify/randterm (/, *):serial	0.307 ± 0.032 ms	0.114 ± 0.028 ms	2.69 ± 0.73
overhead/simplify/randterm (/, *):thread	0.347 ± 0.032 ms	0.109 ± 0.029 ms	3.18 ± 0.9
overhead/substitute/a	0.102 ± 0.0082 ms	0.06 ± 0.011 ms	1.7 ± 0.33
overhead/substitute/a,b	0.0861 ± 0.0098 ms	0.0743 ± 0.012 ms	1.16 ± 0.23
overhead/substitute/a,b,c	20.7 ± 2.3 μs	0.0427 ± 0.0047 ms	0.484 ± 0.076
polyform/easy_iszero	0.0402 ± 0.0041 ms	0.0343 ± 0.001 ms	1.17 ± 0.12
polyform/isone	3.1 ± 0.01 ns	0.0324 ± 0.00076 μs	0.0958 ± 0.0023
polyform/iszero	1.41 ± 0.034 ms	1.24 ± 0.046 ms	1.13 ± 0.05
polyform/simplify_fractions	1.91 ± 0.076 ms	1.58 ± 0.086 ms	1.21 ± 0.082
time_to_load	1.09 ± 0.024 s	1.19 ± 0.0099 s	0.919 ± 0.022

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).