Testing rebase
CountedRandom WIP
Finishing up on State monad