EBoolTrue & EBoolFalse -> EBool Bool
delete: ELets, EGetN, ESetN, ELabel, EBreak, EDeref Func
EFunc Fun -> EFunDecl Var Exp -- Removed function type from function declaration.
Replaced CPP-macro VARIABLE_NAME with a Template Haskell function variableNameAndValue because of inconsistencies of CPP-macros on different platforms.
Moving all typing examples to TypeChecker/Test.hs
Cleanup.
Cleanup continued.
.gitignore += dist/
Interpreter (./lucre) now runs.
Modules reorganisation.

Moved everything from interpreter/* to the repository root. Placed all
sources in src/ and all tests in test/ directories. Hierarchy in test/
reflects the one in src/.

Moved modules related to lucretia language into src/Lucretia/*. Moved
Definitions, Syntax and Types into src/Lucretia/Language/*. Moved
Parser, Interpreter and TypeChecker into src/Lucretia/. Moved utility
modules into src/Util/*.
Made the documention compile.
README update
README update
Type-checker with type inference.

New way of connecting Constraints, changed Language, changed Types structure. Removed incompatible Parser & Interpreter modules.

Implemented & tested rules: var, const, new, bot, acc, updt, let, cnstr <, typ <, weakening &
renaming. Rules fdcl & fapp - work in progress. Rules to be implemented later: if, ifhttr, ifhttr*, E/\i, I/\.
Signature inference in (fdecl) rule.
Signature checking in (fdecl) rule.
(fapp) & (fdecl) rules.
Recursive functions - WIP
Meaningful error messages.
Unused imports.
Recursive functions - WIP
Recursive functions - corrected.