Replacing "Really Small Nat" data with use of forAll and choose
Separating "." of composition
Adding "balanced" property of trees to check
Adding comment to intersperse inside Tree.hs