Renaming licence file, updating cabal file.
Add severals primitives, move Unpackers in a file.

Use of ExistentialQuantification extension.