Kompile - trying to resolve conflicts in the new typeInferencer