added downloaded quickcheck assignment
generator of heaps and some properties implemented