added missing Type case to the kind unifier