Cardano Updates

Update prereqs.sh

needed for cardano-wallet

last test failure in the file LedgerState.hs. Updated IterTests.hs to catch this type of
failure. The function stakeDistr the variable 'stakeRelation' is the union three smaller lists.
In SetAlgebra, lists are normalized (i.e. sorted in ascending order, duplicates removed), so the number
of tuples was different. Later that list is turned into a map (using  Map.fromListWith (+)), and the
removal of the duplicate tuples, effected the results. Ran the benchmarks, 3 points improved because we added
a few more type specific impementations, so we fall back to the (more general, but less efficient) compiler fewer times.

* [PLC] [Test] [TypeCheck] Added 'Examples.Data.Vec'

* [PLC] [Docs] Added a file showing how to encode intrinsically typed expressions

cabal.project: Comments