Kompile - progress on concrete type inference for variables.