more testcases for the type checker
unify globals individually
add some test cases
implement let-polymorphism
some tests
add missing binary operators
testcase
worklog