Add rndFin

Handy to have the upper bound encoded in the type sometimes.
Add 'time' function
Add beginnings of System effect