Kompile - type inferencer for variables progress.
        - creating the intermediate sets for the type inferencer.
Kompile - progress on variable type inference 2.
Kompile - fixed variable type inference to be backwards compatible.
Kompile - reduced the number of duplicates in solutions found.
Kompile - type inference stable, but with duplicates.
Kompile - type inference works for a simple example.
Revert "Fix KTool eclipse project"

This reverts commit ced64eb7050baab7fd38b6c00f3626dbf64d3809.
Kompile - improved error messages for new type inferencer.
Kompile - fixing bugs in type inferencer.
Kompile - trying to resolve conflicts in the new typeInferencer
Kompile - revergint toString for kil.Variable so it fixes maude backend.
Kompile - collecting sort information for variables from the configuration too.
Merge branch 'typeInference' into master.
Type inference - fixing the final examples after merge.
Fixing master, although, I think this should work. It may be a bug somewhere related to terminals and generated KLabels.
Fixing imp-hoare from master.