Ну, де факто массив символов как массив символов и массив символов как строка и так представляют собой два разных семантических типа в КП.

Т.е. глядя на нечто, что объявлено как ARRAY OF CHAR, мы должны получить откуда-то дополнительную информацию, по какому соглашению используется этот ARRAY OF CHAR.
Можем ли мы применить к нему строковые операции, не получив выход за его границы.