added simple FsCheck example
added generate random data
Better DU example