fixed bug in monoRename
merge records in type information update
Explanation of Example 5.4.3 fail
monadic trace function
Added env to function types (not checking it yet)
Merge pull request #9 from miconi/master

Python to Lucretia compiler stub.
Fixed small bugs in TypingExamples
Use declared environment when checking func
Fixes issue #10.
Check that label type really is a TFunc
Fixes issue #11
Stop tracking fist in the repo
Stop tracking dist in the repo
TypingExamples: slightly clearer way to test
Merge branch 'master' of github.com:mbenke/lucretia
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.