Revert "Kompile - progress on concrete type inference for variables."

This reverts commit 5613cbc7e74343df8ee1b98353554b0c41b811f5.
Revert "Kompile - fixing issue #17 - improved the visitor that updates the"

This reverts commit ef7eebe3acc1ba05c629269b9ba5d2ada90433c0.