Refactoring

  - Added more documentation for the project
Provided some failing and correct examples in the package

  Fix in Eval module (pattern match failure)
Project Finalization

  -- moved example in doc/example.tar (cabal issues)
  -- changed cabal file so that ALL the required modules are tracked and exported in the tarball