Simplify monadic instantiation

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add some tests using model instantiation

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

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

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add parser tests for method invocation

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

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

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix model name test case

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

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