infer constraints
add mode constraints
add constraints due to main's arguments
add inference for constructor applications
remove let-binding in test-case 1
fix mode constraints
delete ModeCase
refactor Language ADTs
add prototypical solving
(re-)add straightforward mode inference