implements dependent type in enumerative

[Su2001]

I’m not sure if the current approach to adding value to dependent values is correct, or if there’s a better way to do it.

[codspeed-hq]

CodSpeed Performance Report

Merging #258 will degrade performances by 41.85%

_{Comparing Su2001:Enumerative (08cd951) with main (5112e91)}

Summary

❌ 1 regressions
✅ 20 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	main	Su2001:Enumerative	Change
❌	test_bench_crossover[StackGP]	34 s	58.4 s	-41.85%