Adding Properties.hs for tests. Implementing Arbitrary (Tree a)