Migrating Symbolic from V1 to V2

[TurtlePU]

No description provided.

[TurtlePU]

Tasks done in this PR:

• cleanup: remove SymbolicFold and all its dependencies, including Symbolic List, UPLC, IVC and redundant modules after deletion (ZkFold.Data.List.Infinite). Also remove acFold field from CircuitContext datatype and remove extra constructors from Vars
• cleanup: remove redundant ZkFold.Algebra.VectorSpace module (superseded by new SymbolicData class), ZkFold.Data.Type
• algebra refactoring: introduce new StrictNum class for strict ops with instances for Natural and Symbolic.Data.UInt
• algebra refactoring: introduce new Decidable type alias for prime fields with IntegralOf a ~ Integer and a bunch of instances which follow from this fact
• Eq refactoring: move (/=) out from class definition and make it into a function
• Ord refactoring: improve interface so that binary comparison operations are functions requiring only Ord constraint, and compare is the only method in Ord class
• Hashing algorithms refactoring for Symbolic: new Collect class in order to not rely on Foldable layouts
• Unification of Layout and Payload for Symbolic data
• Remove OrdWord stuff from UInt, perform desugaring after compilation instead
• Split UInt type into two types: UIntData for fixed register sizes and UInt for variable register sizes, absolving the need for RegSize and cleaning up the public API
• Generic interpolation algorithm, without dependency on Symbolic
• Backwards traveling state for ergonomic UInt implementation
• Refactor to type-specific conversions instead of generic from function of Iso class
• Get rid of Symbolic Combinators module, moving functions to their place
• Primitive Register module
• Symbolic testing framework

Things to be careful about:

• Elem backend seems to be losing constraints in compiler tests
• UIntData often has 0-size high register, consider optimizing

Also possible:

• merge SymbolicData and SymbolicInput into a single class