Fix the test cases

No more bogus implicit conversions, no more false positives

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix literal translation

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
First working Closures

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Activate some more tests / remove debug code

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>