Typ zmiennej zale?żny od innej

Cześć. Mam taką sytuację:

type
 TMojTyp = (mtInteger, mtString);

var
 mojTyp: TMojTyp;

I teraz w jakiejś procedurze chcę, żeby jedna ze zmiennych była typu w zależności od zmiennej mojTyp.
Jeśli chodzi o typy rekordowe to nie ma sprawy, bo: case..of
W moim przypadku również mógłbym zrobić tak:

procedure procka;
var
 zmienna: Variant;
 innaZmienna: TFileStream;
begin
 case mojTyp of
  mtInteger: Integer(zmienna); //lub varToInt(zmienna)
  mtString: String(zmienna); //lub jak wyżej
 end;
//inne instrukcje
end;

Ale, czy można to zrobić jeszcze na poziomie deklaracji?</delphi>

Obawiam sie ze jedynym rozwiazaniem jest zmienna Variant lub Pointer :/
Bo w koncu kompilator nie moze sprawdzic czy w runtime ktos nie zmieni wartosci :P