Added desugarized do and cabal stuff.
Removed QuickCheck and HUnit.