Почему тип параметра ref отличается от обычного типа?

Я понимаю, как переходить между двумя разными типами, но мой вопрос; почему эта разница на уровне типа ?

Я бы подумал, что это свойство объекта ParamterInfo , а не отдельный специальный тип.

Если предположить, что он представлен как отдельный тип в отражении, потому что это так внутри, какие языковые преимущества есть в том, чтобы иметь его как отдельный тип (я предполагаю, что более легкое разрешение перегрузки метода или что-то в этом роде)?

аналогичное примечание, почему ref создает отдельный тип, а out - нет (я не могу придумать причины, по которым ref является отдельным типом, который не Не относится к из )?