haddock clarifications.
Started adding QuickCheck properties about 'Alpha'