Delete the artifacts not part of the language definition
Update license file
Update README file
Change package name and update to ghc 7.8
Updated support for existential variables