Universe: +FinU' +FinU'↔Fin
Explore.Fin: It now comes in two flavors
Dice: use the second flavor of Fin exploration to show that it behave as expected
lib/Explore/Examples.agda