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/\.