Fix the tuple test cases

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

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

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

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix compilation of array update

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix order of array update arguments

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add a very stupid mclc

This basically compiles mclc expressions and dumps the result,
subject to change once a module language is in place.

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

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