Kompile - trying to make the parser more efficient by making typed variables have the type instead of K. Should reduce ambiguities significantly.