Что на самом деле означает ключевое слово `type` при использовании в определении типа?

Объявление типа как

TCaption = type string;

создает новый тип с другой информацией RTTI. Также его нельзя использовать как var параметр функции, если требуется string тип.

Новая информация RTTI «... гарантирует, что во время выполнения переменные этого типа идентифицируются по их новому имени типа ...». Поэтому, если вы попытаетесь получить имя типа для экземпляра TCaptionSame = string;, вы получите string, а для переменной типа TCaption вы получите TCaption.

Для получения более точной информации лучше обратиться к официальной справке.

Рассмотрим следующий код и обратите внимание, что процедура Check() имеет параметр var:

type
  Ta = string;       // type alias
  Tb = type string;  // compatible but distinct new type

procedure Check(var s: string);
begin
  ShowMessage(s);
end;

procedure TMain.Button2Click(Sender: TObject);
var
  a: Ta;
  b: Tb;
begin
  a := 'string of type Ta,';
  b := 'string of type Tb.';
  Check(a);
  Check(b);
end;

Check(b) приводит к ошибке компилятора: E2033 Типы фактических и формальных параметров var должны совпадать

В приведенном выше примере тип Tb совместим с string в том смысле, что вы можете f. бывший. назначить a := b, но отличается тем, что type identifier (под капотом) имеет другое значение и, следовательно, не принимается в качестве аргумента для Check(var s: string).