Kompile - fixing bugs in type inferencer.