Introduce Incremental Lambda Calculus, tests, and benchmarks#3344

Draft

TimSheard wants to merge 3 commits intomasterfrom

Commits on Mar 24, 2023

Introduce Incremental Lambda Calculus, tests, and benchmarks
TimSheard
committed

Commits on Mar 27, 2023

Added the map from (Credential 'Staking c) to (KeyHash 'Voting c) to the UMap. touches many files
TimSheard
committed

Commits on Mar 28, 2023

makeSnapShot and individual versions of updateILC for particular changes.
TimSheard
committed