fixing bug #24: adding kinding information for unification variables