Kompile - trying to make the parser more efficient by making typed variables have the type instead of K. Should reduce ambiguities significantly.
Trying to fix kool, and removing regression/issue677.
Forgot to remove the issue from the test list.
Kompile - trying to fix the build. Removing manually the labeled subsorts on top of variables.
Java backend: efficient implementation of MatcherException for control-flow
added TODO comment
fixed unification of injection labels